Ubuntu
coq-bignums package

coq-bignums 8.17.0-3build2 source package in Ubuntu

Changelog

coq-bignums (8.17.0-3build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 06 Nov 2023 17:03:01 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Noble
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.17.0.orig.tar.gz 113.4 KiB fd74ff371dc4fca2136775ed44f120c409842de6f174054de9dfcebaf3c00afe
coq-bignums_8.17.0-3build2.debian.tar.xz 2.0 KiB 99792bb41f72f11dd65970ac3eedc2012bf2094f49fd3f2a46d5f52637ba2279
coq-bignums_8.17.0-3build2.dsc 2.0 KiB d75ba52e0e65050262f39761fe3f24f01718038be48031fae455bc775c98f6f8

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