Package: libcoq-mathcomp-finmap
Architecture: amd64
Version: 2.0.0-2build5
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: 1657
Provides: libcoq-mathcomp-finmap-iofh4
Depends: libcoq-mathcomp-ssreflect-y5tl2
Filename: pool/universe/m/mathcomp-finmap/libcoq-mathcomp-finmap_2.0.0-2build5_amd64.deb
Size: 729670
MD5sum: 2c27137844601af9cf89846ac8a0add9
SHA1: d69ff0d30eb845771a38bba05dec65d3d6d2765a
SHA256: d01864d58801f9efa001f96c7fb77837deceb82f2cd2e67e3ceee43eae1f9e62
SHA512: 39541ecde3ebe520df709e60ed517449a7fa66bd87e0a7c57d2cf5bada9f0d6159645fd1a34c1987be17e1f96b0ac30293fd04bd24c1cb9a31db1f1e44e131f8
Homepage: https://github.com/math-comp/finmap
Description: finite sets and maps extension for Mathematical Components
Description-md5: 63fd8b8831df7dce56a2700f0059d67c