Ubuntu
coq-bignums package

coq-bignums 8.17.0-3build1 source package in Ubuntu

Changelog

coq-bignums (8.17.0-3build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 26 Jul 2023 07:10:40 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Mantic
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-bignums_8.17.0.orig.tar.gz 113.4 KiB fd74ff371dc4fca2136775ed44f120c409842de6f174054de9dfcebaf3c00afe
coq-bignums_8.17.0-3build1.debian.tar.xz 2.0 KiB 786d36dce34716a00cee12469a5f1f66d404e781eade7dc5f9154ae3131f1d9b
coq-bignums_8.17.0-3build1.dsc 2.0 KiB a3f427e049f0e93fa78eedc9c60ea9b962f1d4490da596d0792f167e37af72c2

View changes file

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