coqprime 8.19-2 source package in Ubuntu
Changelog
coqprime (8.19-2) unstable; urgency=medium * Team upload * Do not hardcode /usr/lib/ocaml -- Stéphane Glondu <email address hidden> Sun, 04 Aug 2024 07:23:18 +0200
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.19-2.dsc | 1.9 KiB | 8ba26538fef93d41c69e7b7dffac91bdd937994eaeca6d05e1457ab1b633884f |
| coqprime_8.19.orig.tar.gz | 973.2 KiB | bc70208f591c3f4489fffad3ad58d3457e8e0abdb1894fc84383c957f1c0918d |
| coqprime_8.19-2.debian.tar.xz | 3.3 KiB | 1eea8b4297c00d23fdbbf8dd71ace518e5218d95c075045cd6e31034a0a1dd46 |
Available diffs
- diff from 8.19-1build3 (in Ubuntu) to 8.19-2 (821 bytes)
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.
