Ubuntu
coq-interval package

coq-interval 4.8.0-1 source package in Ubuntu

Changelog

coq-interval (4.8.0-1) unstable; urgency=medium

  * Make the patch compliant to DEP-3.
  * New upstream release.

 -- Julien Puydt <email address hidden>  Thu, 03 Aug 2023 07:40:05 +0200

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
Mantic release universe misc

Downloads

File Size SHA-256 Checksum
coq-interval_4.8.0-1.dsc 2.1 KiB ed68d4c80e9fdb800560b9ed5a561a9dfe10f5033da5b327fb775693697e3999
coq-interval_4.8.0.orig.tar.bz2 275.1 KiB ea1345aa4745bc2da644423b8c7d1e371e264d51628f09153094390e4a9033fd
coq-interval_4.8.0-1.debian.tar.xz 8.6 KiB 98b9bda275e96e119c5b78b19e20063663f30050eb29a67ca6273367aaf6e0af

No changes file available.

Binary packages built by this source

libcoq-interval: interval arithmetic for Coq

 This package provides tactics to simplify the
 proof of inequalities on expressions of real
 numbers.
 .
 Coq is a proof assistant for higher-order logic.

libcoq-interval-dbgsym: debug symbols for libcoq-interval