Ubuntu
coquelicot package

coquelicot 3.4.1-1build4 source package in Ubuntu

Changelog

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

  * No-change rebuild for CVE-2024-3094

 -- Steve Langasek <email address hidden>  Sun, 31 Mar 2024 17:55:59 +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-1build4.debian.tar.xz 2.3 KiB 5319a8c7e5cfb3c8021cc432d6da5adedf97afb20d5027c68d96e04f23ce52da
coquelicot_3.4.1-1build4.dsc 2.1 KiB 3b17d8ae1fd2d940aeeea64c29d60baf5b05ef9d09b069f86096a09795135585

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.