coquelicot 3.3.1-1build4 source package in Ubuntu
Changelog
coquelicot (3.3.1-1build4) noble; urgency=medium * Rebuild against latest coq -- Jeremy Bícha <email address hidden> Sat, 23 Dec 2023 07:23:32 -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 |
---|---|---|
coquelicot_3.3.1.orig.tar.gz | 273.2 KiB | 0446c4ad47353ed759756c263e5da30b679cd98d6de143a66d1666ef91a58642 |
coquelicot_3.3.1-1build4.debian.tar.xz | 2.0 KiB | cb8e3d6d308e6eef21e94385f6afccc7e895b99d10fa4a08fc0b0aa2168570c0 |
coquelicot_3.3.1-1build4.dsc | 2.0 KiB | 315767bc2e5653ea798d942564189b6f703db21606f82d8e996c4bf39b737be0 |
Available diffs
- diff from 3.3.1-1build3 to 3.3.1-1build4 (309 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.