coq-ext-lib 0.11.6-2 source package in Ubuntu
Changelog
coq-ext-lib (0.11.6-2) unstable; urgency=medium * Simplify autopkgtest. -- Julien Puydt <email address hidden> Sat, 16 Jul 2022 12:37:11 +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.6-2.dsc | 2.0 KiB | c0f00eaf46f7b462019fad14aa6fcbd42c2a3e52dbf9ed378abe5177bc155e64 |
coq-ext-lib_0.11.6.orig.tar.gz | 80.6 KiB | ccc142b9e8ddb6b2f007cdded318e31c528ddbafe3b84a803f77e796e820b409 |
coq-ext-lib_0.11.6-2.debian.tar.xz | 1.9 KiB | d9f8b0a9d3158bb5088c41c7656542484061c47fb5aa8d2e1ddb23a95827bbee |
Available diffs
- diff from 0.11.6-1 to 0.11.6-2 (464 bytes)
No changes file available.
Binary packages built by this source
- libcoq-ext-lib: No summary available for libcoq-ext-lib in ubuntu kinetic.
No description available for libcoq-ext-lib in ubuntu kinetic.