Package: libcoq-coqprime
Source: coqprime
Version: 8.20.1-1build9
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 6566
Depends: libcoq-bignums-369b9, libcoq-stdlib-yod19
Provides: libcoq-coqprime-nh3u4
Section: ocaml
Priority: optional
Homepage: https://github.com/thery/coqprime
Description: 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.
