Ubuntu
coquelicot package

coquelicot 3.4.1-1build3 source package in Ubuntu

Changelog

coquelicot (3.4.1-1build3) noble; urgency=medium

  * No-change rebuild for new ssreflect ABI

 -- Steve Langasek <email address hidden>  Sun, 24 Mar 2024 23:13:25 +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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coquelicot_3.4.1.orig.tar.gz 274.9 KiB 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b
coquelicot_3.4.1-1build3.debian.tar.xz 2.2 KiB 662b0ceee9795443dcf993c1a9a75663f8d1c3f05b889ef98a6556f29ae8be0c
coquelicot_3.4.1-1build3.dsc 2.1 KiB 295fc4e610441d27cf23cfb3f988ff8fb2602bdd27a8ce594ce00d5215666cd3

Available diffs

View changes file

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.