Ubuntu
coqprime package

coqprime 8.15-2build2 source package in Ubuntu

Changelog

coqprime (8.15-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 17 Feb 2023 08:07:15 +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
Lunar release universe misc

Downloads

File Size SHA-256 Checksum
coqprime_8.15.orig.tar.gz 964.0 KiB 36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1
coqprime_8.15-2build2.debian.tar.xz 3.6 KiB 15857091e9fbf9d99c1617dffaba594960c411f8545e72e5a4f9f2d040648332
coqprime_8.15-2build2.dsc 2.1 KiB 56b7db2313df0825b16bed8ee7aeb8cf27007794b8eed51b53e8aa8830454c68

View changes file

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.