Ubuntu
coquelicot package

coquelicot 3.4.0-1 source package in Ubuntu

Changelog

coquelicot (3.4.0-1) unstable; urgency=medium

  [ Debian Janitor ]
  * debian/copyright: use spaces rather than tabs to start continuation lines.

  [ Julien Puydt ]
  * Fix d/rules clean target (Closes: #1044385).
  * New upstream release.

 -- Julien Puydt <email address hidden>  Fri, 22 Dec 2023 11:23:30 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
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.0-1.dsc 2.0 KiB b796913576d39c85b28471d97e1a650c3317db924e2f9ec5bcfd1158938f9660
coquelicot_3.4.0.orig.tar.gz 274.1 KiB 54ed94fd5eb54ee0cd988bfc139b5acbb8189ce5bb4305f8e4e9215dfcfaf483
coquelicot_3.4.0-1.debian.tar.xz 2.0 KiB 4ad92b6b4b7487ddd2e00254de4cbf8991854041b8031baa5dee3e132fe582ed

No changes file available.

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.