Format: 1.8 Date: Wed, 21 Aug 2019 19:02:25 +0200 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source Version: 8.8.0+1.gbp069dc3b-1build4 Distribution: eoan Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Gianfranco Costamagna 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.8.0+1.gbp069dc3b-1build4) eoan; urgency=medium . * Rebuild against new OCAML ABIs. Checksums-Sha1: 481fc1fe85fdd5f7f05a4c32dc34fedf11f64205 2301 aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc 2f07de661c04076b07e430a72a5090492fad3c7e 3632 aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz 68ba78e0f8b0afeed672a16beebd19354e1b4820 14284 aac-tactics_8.8.0+1.gbp069dc3b-1build4_source.buildinfo Checksums-Sha256: 0d111f0df5167f42e17fad45ba4de08218b4fba7b00a25733a8bf66669c74f0c 2301 aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc 2892a77b83ecef757e7c447da14fd88c711017246fd758394db28b4d6ff8e4d7 3632 aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz 49bcf76521ffd5a3d02493963e33a996b5359457f0859951dd198f14fef4754a 14284 aac-tactics_8.8.0+1.gbp069dc3b-1build4_source.buildinfo Files: e5ad1ae7455d377f448e643168dde490 2301 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc e3be4e7852b5c3fa209677654a98a932 3632 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz d6227aec1e8a48377a53b469b0002933 14284 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build4_source.buildinfo