Package - libcoq-aac-tactics

Package: libcoq-aac-tactics
apt-get install libcoq-aac-tactics

Documentations in package:

libcoq-aac-tactics

Primary informations

Download package: http://deb.debian.org/debian/pool/main/a/aac-tactics/libcoq-aac-tactics_8.20.0-1+b4_amd64.deb (Size: 385.3KiB)

Property	Value
Package	libcoq-aac-tactics
Source	aac-tactics (8.20.0-1)
Version	8.20.0-1+b4
Installed-Size	2885
Maintainer	Debian OCaml Maintainers
Architecture	amd64
Replaces	libaac-tactics-coq, libaac-tactics-ocaml, libaac-tactics-ocaml-dev
Provides	aac-tactics, libcoq-aac-tactics-vkvl8
Depends	libcoq-stdlib-68yx1, libcoq-core-ocaml-29kh7, libstdlib-ocaml-m4xw9, libzarith-ocaml-h79v1
Breaks	libaac-tactics-coq
Description	Coq tactics for reasoning modulo AC (theories)
Description-md5	d468e31e016a5d91fa8d79cdff35cd0d
Homepage	https://github.com/coq-community/aac-tactics
Section	math
Priority	optional
Filename	pool/main/a/aac-tactics/libcoq-aac-tactics_8.20.0-1+b4_amd64.deb
Size	394552
MD5sum	6c452c87470ca2d2952f4cdd1d3756e9
SHA256	812b9af54298996d4628af423453f3f18663f1943231f472968a67e3e5895a45

Files in package

/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-aac-tactics/META
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-aac-tactics/aac_plugin.cma
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-aac-tactics/aac_plugin.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-aac-tactics/aac_plugin.cmo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-aac-tactics/aac_plugin.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-aac-tactics/aac_plugin.cmxa
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-aac-tactics/aac_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/AAC.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/AAC.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/AAC.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Caveats.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Caveats.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Caveats.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Constants.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Constants.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Constants.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Instances.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Instances.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Instances.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Tutorial.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Tutorial.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Tutorial.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Utils.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Utils.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/Utils.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/AAC_tactics/aac_plugin.cmxs
/usr/share/doc-base/libcoq-aac-tactics.aac-tactics-theories
/usr/share/doc/libcoq-aac-tactics/README.md.gz
/usr/share/doc/libcoq-aac-tactics/changelog.Debian.amd64.gz
/usr/share/doc/libcoq-aac-tactics/changelog.Debian.gz
/usr/share/doc/libcoq-aac-tactics/changelog.gz
/usr/share/doc/libcoq-aac-tactics/copyright
/usr/share/doc/libcoq-aac-tactics/theories/AAC_tactics.AAC.html
/usr/share/doc/libcoq-aac-tactics/theories/AAC_tactics.Caveats.html
/usr/share/doc/libcoq-aac-tactics/theories/AAC_tactics.Constants.html
/usr/share/doc/libcoq-aac-tactics/theories/AAC_tactics.Instances.html
/usr/share/doc/libcoq-aac-tactics/theories/AAC_tactics.Tutorial.html
/usr/share/doc/libcoq-aac-tactics/theories/AAC_tactics.Utils.html
/usr/share/doc/libcoq-aac-tactics/theories/coqdoc.css
/usr/share/doc/libcoq-aac-tactics/theories/index.html
/usr/share/doc/libcoq-aac-tactics/theories/toc.html
/usr/share/lintian/overrides/libcoq-aac-tactics
/var/lib/coq/md5sums/libcoq-aac-tactics.checksum