coq-bignums 8.15.0-3 source package in Ubuntu
Changelog
coq-bignums (8.15.0-3) unstable; urgency=medium * Bump standards-version to 4.6.1. * Upload will fix ABI breakage. (Closes: #1012060) -- Julien Puydt <email address hidden> Wed, 01 Jun 2022 15:07:56 +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 | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-bignums_8.15.0-3.dsc | 2.1 KiB | 012c705a48514c5b398a7bac6644173277bc3d0bc215b0811849abc0a956ad42 |
coq-bignums_8.15.0.orig.tar.gz | 112.8 KiB | 0158a4687fc0387dcdf2ef5ed4460efeabefa2b2a884c7f0d3dfedfedcac309f |
coq-bignums_8.15.0-3.debian.tar.xz | 1.8 KiB | 0ab9add4884ce2cedf6e4eee484445258c69cfca7bd73a6430ed0d6c51982fc8 |
Available diffs
- diff from 8.15.0-2 to 8.15.0-3 (472 bytes)
- diff from 8.15.0-2build1 (in Ubuntu) to 8.15.0-3 (544 bytes)
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.