Package - libcoq-mathcomp-multinomials

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/mathcomp-multinomials/libcoq-mathcomp-multinomials_2.3.0-1+b7_amd64.deb (Size: 1.8MiB)

Property	Value
Package	libcoq-mathcomp-multinomials
Source	mathcomp-multinomials (2.3.0-1)
Version	2.3.0-1+b7
Installed-Size	7025
Maintainer	Debian OCaml Maintainers
Architecture	amd64
Provides	libcoq-mathcomp-multinomials-pes10
Depends	libcoq-elpi (>= 1.19), libcoq-mathcomp-algebra-ausx4, libcoq-mathcomp-bigenough-06xl3, libcoq-mathcomp-finmap-ovde1, libcoq-mathcomp-ssreflect-08jv4
Suggests	ocaml-findlib
Description	Multivariate polynomials for Mathematical Components
Description-md5	dc696b9ffcd93dcce440ab60ede8413b
Homepage	https://github.com/math-comp/multinomials
Section	ocaml
Priority	optional
Filename	pool/main/m/mathcomp-multinomials/libcoq-mathcomp-multinomials_2.3.0-1+b7_amd64.deb
Size	1838364
MD5sum	06a47478bb65c882f619847d48407c93
SHA256	af76609b0fe869afbb18fdab1cc07647ef9abf75ee59fb54e6913933679606ad

Files in package

• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.vo
• /usr/share/doc/libcoq-mathcomp-multinomials/README.md
• /usr/share/doc/libcoq-mathcomp-multinomials/changelog.Debian.amd64.gz
• /usr/share/doc/libcoq-mathcomp-multinomials/changelog.Debian.gz
• /usr/share/doc/libcoq-mathcomp-multinomials/copyright
• /var/lib/coq/md5sums/libcoq-mathcomp-multinomials.checksum