coq-ext-lib 0.11.7-1 source package in Ubuntu
Changelog
coq-ext-lib (0.11.7-1) unstable; urgency=medium * New upstream release. -- Julien Puydt <email address hidden> Sat, 13 Aug 2022 23:40:35 +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-ext-lib_0.11.7-1.dsc | 2.0 KiB | f208503ce8eac129e73fbafb6503623a9cd333e8694c823e0c1ed181e7a62fa5 |
coq-ext-lib_0.11.7.orig.tar.gz | 81.0 KiB | 5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1 |
coq-ext-lib_0.11.7-1.debian.tar.xz | 1.9 KiB | 2d089c82ae38b8eeee9ea09800ce19c48cd089990955de76fee7e3e87ec4f691 |
Available diffs
- diff from 0.11.6-2 to 0.11.7-1 (3.6 KiB)
No changes file available.
Binary packages built by this source
- libcoq-ext-lib: Collection of theories and plugins for Coq
This package provides a collection of theories and plugins
that may be useful in other Coq developments.
.
Coq is a proof assistant for higher-order logic.