Package - libcoq-mathcomp-algebra-tactics

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/mathcomp-algebra-tactics/libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_amd64.deb (Size: 745.2KiB)

Property	Value
Package	libcoq-mathcomp-algebra-tactics
Source	mathcomp-algebra-tactics (1.2.4-1)
Version	1.2.4-1+b5
Installed-Size	3389
Maintainer	Debian OCaml Maintainers
Architecture	amd64
Provides	libcoq-mathcomp-algebra-tactics-qxna9
Depends	libcoq-elpi-s1x22, libcoq-mathcomp-algebra-ausx4, libcoq-mathcomp-ssreflect-08jv4, libcoq-mathcomp-zify-y28z5
Suggests	ocaml-findlib
Description	Ring and field tactics for Mathematical Components
Description-md5	b500f100ae04143be5718038beb809bc
Homepage	https://github.com/math-comp/algebra-tactics
Section	ocaml
Priority	optional
Filename	pool/main/m/mathcomp-algebra-tactics/libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_amd64.deb
Size	763116
MD5sum	e5814f6d15a4ad4a95c9a35a2aa80e11
SHA256	40422905a34a53e6551b930dba54bda4158caec54159f9ba9916eed187f8381d

Files in package

• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra_tactics/common.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra_tactics/common.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra_tactics/common.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra_tactics/lra.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra_tactics/lra.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra_tactics/lra.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra_tactics/ring.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra_tactics/ring.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra_tactics/ring.vo
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/README.md.gz
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/changelog.Debian.amd64.gz
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/changelog.Debian.gz
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/copyright
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/field_examples.v
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/field_examples_check.v
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/field_examples_no_check.v
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/from_sander.v
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/lra_examples.v
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ring_error.v
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ring_examples.v
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ring_examples_check.v
• /usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ring_examples_no_check.v
• /var/lib/coq/md5sums/libcoq-mathcomp-algebra-tactics.checksum