Package - libcoq-mathcomp-classical

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/mathcomp-analysis/libcoq-mathcomp-classical_1.9.0-1+b3_amd64.deb (Size: 3.3MiB)

Property	Value
Package	libcoq-mathcomp-classical
Source	mathcomp-analysis (1.9.0-1)
Version	1.9.0-1+b3
Installed-Size	13204
Maintainer	Debian OCaml Maintainers
Architecture	amd64
Replaces	libcoq-mathcomp-analysis (<< 0.6.4)
Provides	libcoq-mathcomp-classical-1g4t8
Depends	libcoq-elpi-s1x22, libcoq-hierarchy-builder-x91u3, libcoq-mathcomp-algebra-ausx4, libcoq-mathcomp-field-opte0, libcoq-mathcomp-fingroup-ibaa9, libcoq-mathcomp-solvable-pljy8, libcoq-mathcomp-ssreflect-08jv4, libcoq-mathcomp-bigenough-06xl3, libcoq-mathcomp-finmap-ovde1
Breaks	libcoq-mathcomp-analysis (<< 0.6.4)
Description	classical logic extension for Mathematical Components
Description-md5	a4708978f6d7d8ef4c3d90a421358ea6
Homepage	https://github.com/math-comp/analysis
Section	ocaml
Priority	optional
Filename	pool/main/m/mathcomp-analysis/libcoq-mathcomp-classical_1.9.0-1+b3_amd64.deb
Size	3423860
MD5sum	dd88e7dd10a3745a077724559dff0643
SHA256	c3c5ec76b7d86e33059ec3878b32c70cc119d690541a0f0010df787d4ac5f0da

Files in package

• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/all_classical.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/all_classical.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/all_classical.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/boolp.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/boolp.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/boolp.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/cardinality.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/cardinality.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/cardinality.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/classical_orders.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/classical_orders.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/classical_orders.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/classical_sets.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/classical_sets.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/classical_sets.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/contra.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/contra.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/contra.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/filter.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/filter.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/filter.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/fsbigop.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/fsbigop.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/fsbigop.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/functions.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/functions.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/functions.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/mathcomp_extra.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/mathcomp_extra.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/mathcomp_extra.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/set_interval.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/set_interval.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/set_interval.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/wochoice.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/wochoice.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/classical/wochoice.vo
• /usr/share/doc/libcoq-mathcomp-classical/changelog.Debian.amd64.gz
• /usr/share/doc/libcoq-mathcomp-classical/changelog.Debian.gz
• /usr/share/doc/libcoq-mathcomp-classical/changelog.gz
• /usr/share/doc/libcoq-mathcomp-classical/copyright
• /var/lib/coq/md5sums/libcoq-mathcomp-classical.checksum