Package - libcoq-mathcomp-ssreflect

Primary informations

Download package: http://deb.debian.org/debian/pool/main/s/ssreflect/libcoq-mathcomp-ssreflect_2.3.0-1+b7_amd64.deb (Size: 7.9MiB)

Property	Value
Package	libcoq-mathcomp-ssreflect
Source	ssreflect (2.3.0-1)
Version	2.3.0-1+b7
Installed-Size	33795
Maintainer	Debian OCaml Maintainers
Architecture	amd64
Replaces	libssreflect-coq
Provides	libcoq-mathcomp-ssreflect-08jv4
Depends	libcoq-core-ocaml, libcoq-hierarchy-builder-x91u3, libcoq-stdlib-68yx1
Breaks	libssreflect-coq (<= 2.3.0-1+b7)
Description	Mathematical Components library for Coq (small scale reflection)
Description-md5	70fcad66ebe7043a2a943f9be8be4a05
Homepage	https://math-comp.github.io/math-comp/
Section	math
Priority	optional
Filename	pool/main/s/ssreflect/libcoq-mathcomp-ssreflect_2.3.0-1+b7_amd64.deb
Size	8255440
MD5sum	a1770a93b86d59f429b2c5cb3b30a261
SHA256	55b93b0d42953a1c558ba544a6c6b26ae5922e3d9f22aac2d1b96765c54074fb

Files in package

• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/bigop.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/bigop.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/bigop.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/binomial.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/binomial.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/binomial.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/choice.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/choice.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/choice.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/div.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/div.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/div.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/eqtype.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/eqtype.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/eqtype.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/finfun.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/finfun.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/finfun.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/fingraph.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/fingraph.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/fingraph.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/finset.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/finset.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/finset.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/fintype.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/fintype.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/fintype.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/generic_quotient.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/generic_quotient.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/generic_quotient.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/order.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/order.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/order.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/path.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/path.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/path.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/prime.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/prime.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/prime.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/seq.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/seq.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/seq.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrAC.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrAC.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrAC.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrbool.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrbool.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrbool.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssreflect.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssreflect.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssreflect.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrfun.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrfun.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrfun.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrmatching.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrmatching.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrmatching.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrnat.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrnat.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrnat.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrnotations.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrnotations.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrnotations.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/tuple.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/tuple.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/tuple.vo
• /usr/share/doc/libcoq-mathcomp-ssreflect/changelog.Debian.amd64.gz
• /usr/share/doc/libcoq-mathcomp-ssreflect/changelog.Debian.gz
• /usr/share/doc/libcoq-mathcomp-ssreflect/changelog.gz
• /usr/share/doc/libcoq-mathcomp-ssreflect/copyright
• /var/lib/coq/md5sums/libcoq-mathcomp-ssreflect.checksum