Package: libcoq-mathcomp-finmap
Source: mathcomp-finmap
Priority: optional
Section: universe/ocaml
Installed-Size: 3291
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.1.0-3build14
Provides: libcoq-mathcomp-finmap-a6x16
Depends: libcoq-mathcomp-ssreflect-ak300
Filename: pool/universe/m/mathcomp-finmap/libcoq-mathcomp-finmap_2.1.0-3build14_amd64.deb
Size: 954892
MD5sum: 1f75e901cf6c0ab030db0537a38c55b7
SHA1: 7f00af476a9c7837eda26df6c9d258910d217e4d
SHA256: 91dd753353209ce371b45f565579e5e04608b149cfbe094f59f1d659f3e8db54
SHA512: c07a69c5adbbff3d6368c2462e427447348ad85a6247cec1db1c69fe4376732323d9145971edf38155665c8015d5a4e1964a2e2e1f7e1e43a56246cab9265da5
Homepage: https://github.com/math-comp/finmap
Description: finite sets and maps extension for Mathematical Components
Description-md5: 63fd8b8831df7dce56a2700f0059d67c
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug