Ubuntu
coq-bignums package

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

Changelog

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

  * Fix cleaning target (Closes: #1044477).
  * Make d/watch follow new upstreams.
  * New upstream release.

 -- Julien Puydt <email address hidden>  Thu, 21 Dec 2023 15:21:31 +0100

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.18-1.dsc 2.1 KiB 98b132275771153eeff767e6570a55f717f9db78463fe23603d8dae06db2a44c
coq-bignums_9.0.0+coq8.18.orig.tar.gz 114.1 KiB 63f4bcb57ebc7ac8d2b6e6ec5938f556b029529bbc03340d872f3c728fa175e3
coq-bignums_9.0.0+coq8.18-1.debian.tar.xz 2.0 KiB 3344a72cf542b381d6b49ee9bdddedd54341a1653e68ff13d0229192e74a8560

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