Package: libcoq-mathcomp-finmap
Source: mathcomp-finmap
Priority: optional
Section: universe/ocaml
Installed-Size: 3495
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.2.4-3build1
Provides: libcoq-mathcomp-finmap-kjsv3
Depends: libcoq-mathcomp-ssreflect-aj4k8
Filename: pool/universe/m/mathcomp-finmap/libcoq-mathcomp-finmap_2.2.4-3build1_amd64.deb
Size: 1191542
SHA512: 69cb9fbe7761fcf6a6bdbc53ed5bd5ac4bb048c3cf451fde309552dc0350ca2075e2c7deabc68b82f5d69309f1425e17f3386358c0a4c3b5db68045b203cdbda
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