Package - libcoq-mathcomp-finmap

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/mathcomp-finmap/libcoq-mathcomp-finmap_2.1.0-3+b7_amd64.deb (Size: 826.5KiB)

Property	Value
Package	libcoq-mathcomp-finmap
Source	mathcomp-finmap (2.1.0-3)
Version	2.1.0-3+b7
Installed-Size	3292
Maintainer	Debian OCaml Maintainers
Architecture	amd64
Provides	libcoq-mathcomp-finmap-ovde1
Depends	libcoq-mathcomp-ssreflect-08jv4
Description	finite sets and maps extension for Mathematical Components
Description-md5	63fd8b8831df7dce56a2700f0059d67c
Homepage	https://github.com/math-comp/finmap
Section	ocaml
Priority	optional
Filename	pool/main/m/mathcomp-finmap/libcoq-mathcomp-finmap_2.1.0-3+b7_amd64.deb
Size	846352
MD5sum	29b2a07027bc036a3cce49d8d1c83cbd
SHA256	c3db9e339ebc785daae2f20de2e778f9575de982a98d3035a40cd31096d2dabb

Files in package

• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mathcomp-finmap/META
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mathcomp-finmap/dune-package
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mathcomp-finmap/opam
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/finmap/finmap.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/finmap/finmap.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/finmap/finmap.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/finmap/multiset.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/finmap/multiset.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/finmap/multiset.vo
• /usr/share/doc/libcoq-mathcomp-finmap/CHANGELOG_UNRELEASED.md
• /usr/share/doc/libcoq-mathcomp-finmap/README.md
• /usr/share/doc/libcoq-mathcomp-finmap/changelog.Debian.amd64.gz
• /usr/share/doc/libcoq-mathcomp-finmap/changelog.Debian.gz
• /usr/share/doc/libcoq-mathcomp-finmap/changelog.gz
• /usr/share/doc/libcoq-mathcomp-finmap/copyright
• /var/lib/coq/md5sums/libcoq-mathcomp-finmap.checksum