Format: 1.8
Date: Tue, 17 Mar 2020 16:42:09 +0100
Source: aac-tactics
Binary: libaac-tactics-coq libaac-tactics-ocaml libaac-tactics-ocaml-dev
Architecture: all amd64
Version: 8.11.0-1
Distribution: focal-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-006.buildd>
Changed-By: Ralf Treinen <treinen@debian.org>
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)
Closes: 953739
Changes:
 aac-tactics (8.11.0-1) unstable; urgency=medium
 .
   * Team upload
   * New upstream version, compiles with coq 8.11.0 (closes: #953739)
   * debian/rules: on dynlink architectures, build opt before byte
   * debian/*.ocamldoc: add -I /usr/lib/coq/tactics
Checksums-Sha1:
 e5c74bee1a68d6e104b3e827c895216484aa3100 16335 aac-tactics_8.11.0-1_amd64.buildinfo
 7428a89d93520b25a938aa801f9b2addd49986e7 243456 libaac-tactics-coq_8.11.0-1_all.deb
 347e48ca45d3ff7a07ee3d27b76f6cf780af7a9a 13644 libaac-tactics-ocaml-dbgsym_8.11.0-1_amd64.ddeb
 f1d4ff93d9ca006d4b281305d560d646b585ff5e 38624 libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb
 eed5c2143b68ef3c485e65427bd8d765b14ba521 106896 libaac-tactics-ocaml_8.11.0-1_amd64.deb
Checksums-Sha256:
 8bac08e6dd5b56f1306a983722eea008d293a1a350c90346ada74ac8858bc095 16335 aac-tactics_8.11.0-1_amd64.buildinfo
 98e4b222f7e805bbb49bf32f4007166ca6f1831c4147947f19b838f6dcaa2de7 243456 libaac-tactics-coq_8.11.0-1_all.deb
 b42033695d092c7af97fe86ae1107ee9aa1dc49aed0151c54cb9c65abbf32bbb 13644 libaac-tactics-ocaml-dbgsym_8.11.0-1_amd64.ddeb
 bcde583ee9f64a0758580e594960ce9dccb67971114511ee7d8c9c37c264356d 38624 libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb
 c4f14c8eb14778838c87d7b856c3c61a52f5b9fbf6914928d5513cbcb51e6f58 106896 libaac-tactics-ocaml_8.11.0-1_amd64.deb
Files:
 aea942dc4ded0cec9b293848074556ba 16335 math optional aac-tactics_8.11.0-1_amd64.buildinfo
 73e2475c5f93da2ae999753555557f6d 243456 math optional libaac-tactics-coq_8.11.0-1_all.deb
 55435739b527941b0fb19b49e8bc0b7a 13644 debug optional libaac-tactics-ocaml-dbgsym_8.11.0-1_amd64.ddeb
 9f848be8e66ba25ebf49056957efb7ae 38624 ocaml optional libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb
 1d02ef02b88b816e0298a0b1a196ee68 106896 ocaml optional libaac-tactics-ocaml_8.11.0-1_amd64.deb