Ubuntu
coqprime package

coqprime 8.17-1build1 source package in Ubuntu

Changelog

coqprime (8.17-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 26 Jul 2023 07:13:09 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Mantic
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Mantic release universe misc

Downloads

File Size SHA-256 Checksum
coqprime_8.17.orig.tar.gz 972.7 KiB db177343c22aa6d5c14a583a0caf2944abb0b48cebd8ce91fc47ca1b33e32f04
coqprime_8.17-1build1.debian.tar.xz 3.1 KiB 91f34ea26f05a19b8b778581f559061fccba358835e3b486f91bc57a124f5f2c
coqprime_8.17-1build1.dsc 2.1 KiB c0af22b5c64a7db1d12b81d4e554ce2ccfcc50fc0f31a5d39007dfe9559818b7

Available diffs

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.