Package: libcoq-mathcomp-finmap
Architecture: amd64
Version: 2.1.0-2build7
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: 3305
Provides: libcoq-mathcomp-finmap-v63b4
Depends: libcoq-mathcomp-ssreflect-uyii6
Filename: pool/universe/m/mathcomp-finmap/libcoq-mathcomp-finmap_2.1.0-2build7_amd64.deb
Size: 922610
MD5sum: 8e35435dc1ce11bce516a8246b4cf028
SHA1: b4f7cd215535608e8fdc2e67f9182a5aa1dda2b1
SHA256: f45009bfa7ed3c6d14b7d2c8368b4fc95add1b2d15cd84ca9405befc533e54fb
SHA512: 46cf8f49eb936891a6923a79dd6158b5d361852ca8f0bd9e70d576343148eda6a820d0232e4a586b546295526d4a3bb06a049d3adab9ada2cd3617b24d681a55
Homepage: https://github.com/math-comp/finmap
Description: finite sets and maps extension for Mathematical Components
Description-md5: 63fd8b8831df7dce56a2700f0059d67c