Ubuntu
coq-bignums package

coq-bignums 8.16.0-1build2 source package in Ubuntu

Changelog

coq-bignums (8.16.0-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 25 Nov 2022 19:10:54 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Lunar
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_8.16.0.orig.tar.gz 113.4 KiB 5e6bede08f3c019f3fac2d834e7c36b9f42033736a1d1c75251965eb7708374a
coq-bignums_8.16.0-1build2.debian.tar.xz 1.8 KiB db20654ba9bbc33a7c640a9ab81ad8db8ecb11112ba93032a086a76cc1ce97ee
coq-bignums_8.16.0-1build2.dsc 2.0 KiB c81907a89862afa154043c1a701e2c63a6072c4d60b216a4fe34ffa5c1b71618

Available diffs

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