Ubuntu
coq-bignums package

coq-bignums 9.0.0+coq8.20-1 source package in Ubuntu

Changelog

coq-bignums (9.0.0+coq8.20-1) unstable; urgency=medium

  * New upstream release.
  * Bump standards-version to 4.7.0.

 -- Julien Puydt <email address hidden>  Tue, 25 Jun 2024 08:40:53 +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

Downloads

File Size SHA-256 Checksum
coq-bignums_9.0.0+coq8.20-1.dsc 2.1 KiB c8e22462e05df2684444cdd95d125ebec35e9728c720aa9a917ef4de8b20e19a
coq-bignums_9.0.0+coq8.20.orig.tar.gz 114.5 KiB 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6
coq-bignums_9.0.0+coq8.20-1.debian.tar.xz 2.0 KiB 357d377fb039e70c0d3142fe01af6b6596620209741a3c03ef7d206b5c469105

No changes file available.

Binary packages built by this source

libcoq-bignums: Coq library for big numbers

 This package provides big numbers (natural numbers,
 integers and rationals) in Coq, as BigN, BigZ and BigQ,
 which used to be part of the standard library.
 .
 Coq is a proof assistant for higher-order logic.

libcoq-bignums-dbgsym: debug symbols for libcoq-bignums