mathcomp-bigenough 1.0.1-3 source package in Ubuntu
Changelog
mathcomp-bigenough (1.0.1-3) unstable; urgency=medium * Depend on a proper Coq ABI. -- Julien Puydt <email address hidden> Thu, 05 May 2022 22:31:21 +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 |
|---|---|---|
| mathcomp-bigenough_1.0.1-3.dsc | 2.1 KiB | d690ed138fe49d7a000d84090db6dd10064edd377644c4176d1050bb9761128a |
| mathcomp-bigenough_1.0.1.orig.tar.gz | 12.0 KiB | a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 |
| mathcomp-bigenough_1.0.1-3.debian.tar.xz | 8.3 KiB | 3941da95490d31a74a8f18be473834045814830d2ce955972dcb43986c454a64 |
Available diffs
- diff from 1.0.1-2 to 1.0.1-3 (622 bytes)
No changes file available.
Binary packages built by this source
- libcoq-mathcomp-bigenough: No summary available for libcoq-mathcomp-bigenough in ubuntu kinetic.
No description available for libcoq-
mathcomp- bigenough in ubuntu kinetic.
