coq-ext-lib 0.12.0-1build1 source package in Ubuntu
Changelog
coq-ext-lib (0.12.0-1build1) noble; urgency=medium * Rebuild against latest coq -- Jeremy Bícha <email address hidden> Fri, 22 Dec 2023 20:28:30 -0500
Upload details
- Uploaded by:
- Jeremy Bícha
- Uploaded to:
- Noble
- 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.12.0.orig.tar.gz | 81.5 KiB | b46b2e139de395917d1fc713b33511a00b48674f2f02cf2cc1af209fef223b51 |
| coq-ext-lib_0.12.0-1build1.debian.tar.xz | 2.3 KiB | e388aa8740cadcb29dd4d79070ec27b5d1477ccf091acf5e852711f461e1e0f0 |
| coq-ext-lib_0.12.0-1build1.dsc | 2.0 KiB | a306aed8dc6550f52258fc4daa87ca5a4761f6b370e98129d8862307b0dbfcfb |
Available diffs
- diff from 0.11.8-1build3 to 0.12.0-1build1 (6.8 KiB)
- diff from 0.12.0-1 (in Debian) to 0.12.0-1build1 (311 bytes)
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.
