Package: libaac-tactics-ocaml-dev
Architecture: amd64
Version: 8.15.0-1
Priority: optional
Section: universe/ocaml
Source: aac-tactics
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 362
Provides: libaac-tactics-ocaml-dev-hsco3
Depends: libaac-tactics-ocaml-hsco3, libcoq-core-ocaml-dev-aosg1, libzarith-ocaml-dev-4dps0, ocaml-4.13.1
Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb
Size: 40776
MD5sum: 6873fc5bd796a24d729175c5dbf11c9f
SHA1: d5fe4bf2243d6e4bfc78885390f5ed52c472e5ef
SHA256: 0e2f60312c735e0caea5a56a5526d03e1375e053b4fd14998e727092927300d1
SHA512: ebe9960bd2bfb4ffea2ab73dfc8e19e730ee6af96b81ae2626aea6b3a236655eae9e4fe993884313e5d66e2dbdccb373262f066ac442b2e4d223c95798e51ea7
Homepage: https://github.com/coq-community/aac-tactics
Description: Coq tactics for reasoning modulo AC (devt files)
Description-md5: f1d42c78767b8301dd187f0cd302e0cf