Ubuntu
coq-bignums package

coq-bignums 8.15.0-1 source package in Ubuntu

Changelog

coq-bignums (8.15.0-1) unstable; urgency=medium

  * Initial release. (Closes: #1010612)

 -- Julien Puydt <email address hidden>  Thu, 05 May 2022 16:24:09 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-bignums_8.15.0-1.dsc 2.1 KiB 6d7fbfcd18c7fc9899556b2ded712f8cb2558a28a16d7c09cda33a5f7de51222
coq-bignums_8.15.0.orig.tar.gz 112.8 KiB 0158a4687fc0387dcdf2ef5ed4460efeabefa2b2a884c7f0d3dfedfedcac309f
coq-bignums_8.15.0-1.debian.tar.xz 1.7 KiB 68ea9d2d774b77beafc498c2a18f610604c753dbe3b4adc9db41566486b9fef1

No changes file available.

Binary packages built by this source

libcoq-bignums: No summary available for libcoq-bignums in ubuntu kinetic.

No description available for libcoq-bignums in ubuntu kinetic.

libcoq-bignums-ocaml: No summary available for libcoq-bignums-ocaml in ubuntu kinetic.

No description available for libcoq-bignums-ocaml in ubuntu kinetic.

libcoq-bignums-ocaml-dbgsym: No summary available for libcoq-bignums-ocaml-dbgsym in ubuntu kinetic.

No description available for libcoq-bignums-ocaml-dbgsym in ubuntu kinetic.

libcoq-bignums-ocaml-dev: No summary available for libcoq-bignums-ocaml-dev in ubuntu kinetic.

No description available for libcoq-bignums-ocaml-dev in ubuntu kinetic.