coquelicot 3.2.0-8build1 source package in Ubuntu
Changelog
coquelicot (3.2.0-8build1) lunar; urgency=medium * Rebuild against new OCAML ABI. -- Gianfranco Costamagna <email address hidden> Thu, 16 Feb 2023 10:55:26 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Lunar
- 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 |
---|---|---|
coquelicot_3.2.0.orig.tar.gz | 271.2 KiB | 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c |
coquelicot_3.2.0-8build1.debian.tar.xz | 2.4 KiB | af8e6ea978ea1efc3c94389a8588b8645f7a41e4090645397aa08a5bb6e1f50a |
coquelicot_3.2.0-8build1.dsc | 2.0 KiB | 4cb64c8d003559c89098ab11977e21f503714be2aad9fd1f20579e4d16c1dd34 |
Available diffs
- diff from 3.2.0-8 (in Debian) to 3.2.0-8build1 (341 bytes)
Binary packages built by this source
- libcoq-coquelicot: Coq library for real analysis
This package provides a formalization of real analysis compatible
with the Coq standard library.
.
Coq is a proof assistant for higher-order logic.