mathcomp-bigenough 1.0.1-12build3 source package in Ubuntu
Changelog
mathcomp-bigenough (1.0.1-12build3) noble; urgency=medium * No-change rebuild for new ssreflect ABI -- Steve Langasek <email address hidden> Sun, 24 Mar 2024 23:13:40 +0000
Upload details
- Uploaded by:
- Steve Langasek
- Uploaded to:
- Noble
- Original maintainer:
- Ubuntu Developers
- 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.orig.tar.gz | 12.0 KiB | a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 |
mathcomp-bigenough_1.0.1-12build3.debian.tar.xz | 8.7 KiB | e4f87092b7a861965b14bc648abd6fa6d15a5df6fe8876b92bc494e49ff583e0 |
mathcomp-bigenough_1.0.1-12build3.dsc | 2.2 KiB | 3ea1d06b5d2b2f26cb7fdd59125eb40c97e758ed14eb64fa9dd648050c787b64 |
Available diffs
- diff from 1.0.1-12build2 to 1.0.1-12build3 (521 bytes)
Binary packages built by this source
- libcoq-mathcomp-bigenough: epsilon - N reasoning for Mathematical Components
This package provides an extension to reason with big enough
objects (mostly natural numbers) for the Mathematical Components
library.
.
The Mathematical Components library is a coherent repository of
general-purpose formalized mathematical theories for the
Coq proof assistant.