coq-bignums 8.17.0-2 source package in Ubuntu
Changelog
coq-bignums (8.17.0-2) unstable; urgency=medium * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. -- Julien Puydt <email address hidden> Wed, 25 Jan 2023 07:33:46 +0100
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.17.0-2.dsc | 2.0 KiB | 42b2a2b822e9f2afabc7e5d075f8ac8758aacd457d824a5a21aa53c712c1bf18 |
coq-bignums_8.17.0.orig.tar.gz | 113.4 KiB | fd74ff371dc4fca2136775ed44f120c409842de6f174054de9dfcebaf3c00afe |
coq-bignums_8.17.0-2.debian.tar.xz | 1.8 KiB | ec1e411194ea7eb7811fcfe07790c409e476c4a0527507e0bf550d94497016af |
Available diffs
- diff from 8.17.0-1 to 8.17.0-2 (449 bytes)
No changes file available.