coq-ext-lib 0.11.7-2 source package in Ubuntu
Changelog
coq-ext-lib (0.11.7-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:55:55 +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-ext-lib_0.11.7-2.dsc | 2.0 KiB | 7865277afc3d98ccae8fd9e018711919a79f17c5edca524face01b2d2f8b5c9b |
| coq-ext-lib_0.11.7.orig.tar.gz | 81.0 KiB | 5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1 |
| coq-ext-lib_0.11.7-2.debian.tar.xz | 2.0 KiB | f102bc89b78836fece9be63eb0ffbc1451369aee659427f81ffc21483776c263 |
Available diffs
- diff from 0.11.7-1build3 (in Ubuntu) to 0.11.7-2 (576 bytes)
No changes file available.
