Package - libcoq-mathcomp-bigenough
Package: libcoq-mathcomp-bigenough
apt-get install libcoq-mathcomp-bigenough
apt-get install libcoq-mathcomp-bigenough
Documentations in package:
Primary informations
Download package: http://deb.debian.org/debian/pool/main/m/mathcomp-bigenough/libcoq-mathcomp-bigenough_1.0.2-1+b3_amd64.deb (Size: 21.4KiB)| Property | Value |
|---|---|
| Package | libcoq-mathcomp-bigenough |
| Source | mathcomp-bigenough (1.0.2-1) |
| Version | 1.0.2-1+b3 |
| Installed-Size | 81 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-mathcomp-bigenough-06xl3 |
| Depends | libcoq-mathcomp-ssreflect-08jv4 |
| Suggests | ocaml-findlib |
| Description | epsilon - N reasoning for Mathematical Components |
| Description-md5 | 26e8e5e21a24c4debe89c2a7a20bcad8 |
| Homepage | https://github.com/math-comp/bigenough |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/m/mathcomp-bigenough/libcoq-mathcomp-bigenough_1.0.2-1+b3_amd64.deb |
| Size | 21924 |
| MD5sum | 0b6017cd186ee3c9df737d1a3fd7ffc9 |
| SHA256 | 5f5793107bd0f2f8b0f438ca93f29e41edf701cf0719d72ed89c88cdb4551e3a |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/bigenough/bigenough.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/bigenough/bigenough.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/bigenough/bigenough.vo
- /usr/share/doc/libcoq-mathcomp-bigenough/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-mathcomp-bigenough/changelog.Debian.gz
- /usr/share/doc/libcoq-mathcomp-bigenough/copyright
- /var/lib/coq/md5sums/libcoq-mathcomp-bigenough.checksum