coqprime 8.18-1 source package in Ubuntu
Changelog
coqprime (8.18-1) unstable; urgency=medium * Fix d/rules clean target (Closes: #1044267). * New upstream release. -- Julien Puydt <email address hidden> Thu, 21 Dec 2023 17:18:09 +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 | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coqprime_8.18-1.dsc | 2.1 KiB | 0abc6238bf84fd816ca05e844d88bb1b57837bbaab060ad161218dc799a8b51c |
coqprime_8.18.orig.tar.gz | 973.2 KiB | dcd1fa5cecc99ae62cfa1c9c742a444c1022560b6fec6b06989b9d7f2f87c6c2 |
coqprime_8.18-1.debian.tar.xz | 3.2 KiB | f948409831dda1bfdd2f4062f92546ec9ed26f6b41b0e38094cf16393444525d |
Available diffs
No changes file available.
Binary packages built by this source
- coqprime-tools: Primality certification for Coq (tools)
Coqprime consists in:
- a library of facts from number theory
- a library for elliptic curves
- an efficient library for modular arithmetic
- tools to generate Pocklington and elliptic curve
certificates of primality
.
Coq is a proof assistant for higher-order logic.
- coqprime-tools-dbgsym: debug symbols for coqprime-tools
- libcoq-coqprime: Primality certification for Coq (library)
Coqprime consists in:
- a library of facts from number theory
- a library for elliptic curves
- an efficient library for modular arithmetic
- tools to generate Pocklington and elliptic curve
certificates of primality
.
Coq is a proof assistant for higher-order logic.
.
This package contains the Coq library part.