Ubuntu
coq-bignums package

coq-bignums 8.16.0-1build1 source package in Ubuntu

Changelog

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

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Fri, 25 Nov 2022 12:00:44 +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-1build1.debian.tar.xz 1.8 KiB 6eb451f07bec0cc517a6567f765e16229fd41aaa98f1e54b7c056c78c72ec498
coq-bignums_8.16.0-1build1.dsc 2.0 KiB 8bceaccdb9e8ccf400d307e9b48be5ba9122f045ad4d7014d38526b13457168b

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