Format: 1.8 Date: Mon, 09 Oct 2017 10:33:39 +0200 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: all amd64 Version: 8.6.1-2 Distribution: bionic-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Stéphane Glondu Description: libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories) libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin) libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files) Changes: aac-tactics (8.6.1-2) unstable; urgency=medium . * Recompile with OCaml 4.05.0 Checksums-Sha1: d037d35e5e0d57a3f33e87687fa02e84fb717028 12229 aac-tactics_8.6.1-2_amd64.buildinfo bc2d352a3fea69dd37b41b015e4a5fea9662a4f0 220796 libaac-tactics-coq_8.6.1-2_all.deb df4d1013c336d2c5f9437020ceeff66c9d33ec0d 15836 libaac-tactics-ocaml-dbgsym_8.6.1-2_amd64.ddeb 039bdfd5482ce6cddc53b9710f2a6215a213cb11 37684 libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 429323e20e857a9521939ef464adfa40f2f74250 120296 libaac-tactics-ocaml_8.6.1-2_amd64.deb Checksums-Sha256: 96e91a2a424e94118bea8f63b249702d9087c5f3c4468a3d8426261f5c78abaa 12229 aac-tactics_8.6.1-2_amd64.buildinfo 468594038af0621b45a4c47f6e5f009c445c5663193192af3d36444d2afbd3d1 220796 libaac-tactics-coq_8.6.1-2_all.deb 7f0a0d755f6715a35dbfca538af75cd9e56bdf3ca2a04b34c2090c4af7170936 15836 libaac-tactics-ocaml-dbgsym_8.6.1-2_amd64.ddeb 914a8ee8aa3cca31e6a525fd27a5ff81c5588a6ef2221c7cc6d54eb441258489 37684 libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 0e9946be570c14b9f9f122e4cb351658c18badc75020521aeb99da2057f85fb1 120296 libaac-tactics-ocaml_8.6.1-2_amd64.deb Files: 0c0e7458b33279a90350910af2454c38 12229 math optional aac-tactics_8.6.1-2_amd64.buildinfo aa645659bbd51cab0bd83f4adec1b9ca 220796 math optional libaac-tactics-coq_8.6.1-2_all.deb 73feab5e2c597f65f015f781151c0df1 15836 debug optional libaac-tactics-ocaml-dbgsym_8.6.1-2_amd64.ddeb d1428b5263dbaafb07c4978ce054429d 37684 ocaml optional libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 67e53b7784bb18b58378349c32ab9d91 120296 ocaml optional libaac-tactics-ocaml_8.6.1-2_amd64.deb