deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
Depends: libcoq-mathcomp-ssreflect-ckbw3
Description: |-
epsilon - N reasoning for Mathematical Components
This package provides an extension to reason with big enough
objects (mostly natural numbers) for the Mathematical Components
library.
.
The Mathematical Components library is a coherent repository of
general-purpose formalized mathematical theories for the
Coq proof assistant.
Homepage: https://github.com/math-comp/bigenough
Installed-Size: '81'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: libcoq-mathcomp-bigenough
Priority: optional
Provides: libcoq-mathcomp-bigenough-7ucq6
Section: ocaml
Source: mathcomp-bigenough (1.0.1-14)
Suggests: ocaml-findlib
Version: 1.0.1-14+b6
srcpkg_name: mathcomp-bigenough
srcpkg_version: 1.0.1-14