Package: libcoq-mathcomp-finmap
Architecture: amd64
Version: 2.1.0-3build5
Priority: optional
Section: universe/ocaml
Source: mathcomp-finmap
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3291
Provides: libcoq-mathcomp-finmap-ggpp5
Depends: libcoq-mathcomp-ssreflect-rrbv4
Filename: pool/universe/m/mathcomp-finmap/libcoq-mathcomp-finmap_2.1.0-3build5_amd64.deb
Size: 955684
MD5sum: 0e3eb2fdbb8d1ae2ab93c75af7425f60
SHA1: ba4506bde10a5126418bec2b9584dd304b371076
SHA256: ba2eb079965aab52b648c222dd28125bfbcbcd2283078839342303f68ea278ad
SHA512: 7b99804e127751bda7d5940f742b81804a44f483e1de7b5a5580fbd960cff04a355f40512fd2f4e815e3930df52e305e1063ab88232fd7282981b7e04fbd18b5
Homepage: https://github.com/math-comp/finmap
Description: finite sets and maps extension for Mathematical Components
Description-md5: 63fd8b8831df7dce56a2700f0059d67c