Package: libaac-tactics-ocaml-dev Architecture: amd64 Version: 8.6.1-2 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: 413 Provides: libaac-tactics-ocaml-dev-c0vr8 Depends: camlp5-ps9p6, libaac-tactics-ocaml-c0vr8, libcoq-ocaml-dev-ywd98, ocaml-nox-4.05.0 Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb Size: 37684 MD5sum: d1428b5263dbaafb07c4978ce054429d SHA1: 039bdfd5482ce6cddc53b9710f2a6215a213cb11 SHA256: 914a8ee8aa3cca31e6a525fd27a5ff81c5588a6ef2221c7cc6d54eb441258489 Homepage: https://github.com/coq-contribs/aac-tactics Description: Coq tactics for reasoning modulo AC (devt files) Description-md5: f1d42c78767b8301dd187f0cd302e0cf