Format: 1.8 Date: Wed, 21 Aug 2019 19:02:25 +0200 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev Architecture: arm64 Version: 8.8.0+1.gbp069dc3b-1build4 Distribution: eoan-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna Description: 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.8.0+1.gbp069dc3b-1build4) eoan; urgency=medium . * Rebuild against new OCAML ABIs. Checksums-Sha1: 7dc134bbc6aa8875b6fec0f244cd02601c9d04ad 6595 aac-tactics_8.8.0+1.gbp069dc3b-1build4_arm64.buildinfo 5f0887a0f77422fde20546c5bc28951063f5b5ab 20000 libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1build4_arm64.ddeb 813e5a0f25f71d297d5c0194164b9117be724666 37632 libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_arm64.deb 0fcde4dc87c372793aa8bc58c4860e69e6ed474c 135456 libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_arm64.deb Checksums-Sha256: 1f5049c6e93c182a1afd1498ee0e184412d877b0f6bbcd80d68f04fbca836aa4 6595 aac-tactics_8.8.0+1.gbp069dc3b-1build4_arm64.buildinfo 62f6596726a4f4db3e8b7b1ac3add5c1a305aa102a3f7ef27bbd50cb324747fb 20000 libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1build4_arm64.ddeb f5b351663f01ee871b82d51bbaa986374d716cdd9af91c7e96531430867ae26c 37632 libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_arm64.deb 417bb848a49802b91db0aa7b36e4ad5523153f8a674ad6b821b7c8632abcbeb0 135456 libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_arm64.deb Files: f79625ae22dae418175eb2cf87bd1675 6595 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build4_arm64.buildinfo 2e13a6dd8cc4b1ff8a0ce831bb9b49df 20000 debug optional libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1build4_arm64.ddeb 088f1e0ca0568de218abcd9404d6e161 37632 ocaml optional libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_arm64.deb f98c65864986c2cadfe1a8afdd4499bb 135456 ocaml optional libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_arm64.deb