Format: 1.8 Date: Wed, 21 Aug 2019 19:02:25 +0200 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev Architecture: ppc64el 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: d8bdac9cd8eccf11237efb006409885fd8eb990b 6655 aac-tactics_8.8.0+1.gbp069dc3b-1build4_ppc64el.buildinfo 0434a174510e2d9253b1bd37a62fdcfe024d7050 17120 libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1build4_ppc64el.ddeb 603b7a99e5408e7316b62da99e704cdf54a89f56 37632 libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_ppc64el.deb bf789ff5e5d0f0fab5e1dd5f4e7a225569050906 129028 libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_ppc64el.deb Checksums-Sha256: a11c59e74f357784a717d1d3d03fc97f4b4bb924937e712bafcfc261d6e89b94 6655 aac-tactics_8.8.0+1.gbp069dc3b-1build4_ppc64el.buildinfo 6ce3ec1ee96377119d55a04b98c597e7b9cd3adf1d3d34942f7f7f0f984d4154 17120 libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1build4_ppc64el.ddeb 21066443c9c48979c93889c9da55ad0e7732968c1f8e0ae146debb44013af438 37632 libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_ppc64el.deb 5f4aae18417ff65d275897c84d0c22d416eab9d732bbfdae5bfefeb3ffde4fc5 129028 libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_ppc64el.deb Files: 6c1a769f1e948512ad1976e4a3b4f3bd 6655 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build4_ppc64el.buildinfo bf27f85b5d8017551874f08330a07325 17120 debug optional libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1build4_ppc64el.ddeb 334f6096746f47ae05e504f3f30a7f22 37632 ocaml optional libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_ppc64el.deb 21ee38079cd7b6b61ae4a5f42ad7fc3a 129028 ocaml optional libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_ppc64el.deb