-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 17 Mar 2020 16:42:09 +0100 Source: aac-tactics Architecture: source Version: 8.11.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> 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: 211039abe581bcd52b7d62881f90c26badc63df3 2178 aac-tactics_8.11.0-1.dsc c2b8f120640800814d756f2089261a07bb6d42d2 65363 aac-tactics_8.11.0.orig.tar.gz 22f6715423d1d7e4f6eb123f755976e9d46e085f 3520 aac-tactics_8.11.0-1.debian.tar.xz 9893163adf34988e249c5fdc9bd84563e63d6153 15273 aac-tactics_8.11.0-1_source.buildinfo Checksums-Sha256: ac488eeac651cabf66dd5f86700b3482fd8c73cfb0186565819494ba1972f9f7 2178 aac-tactics_8.11.0-1.dsc 6af3a80e7c41cda36193236e5b2640beef33acdd8edff82f78592e92e58d547b 65363 aac-tactics_8.11.0.orig.tar.gz 0b24fb1b47e31b2269c2ac01f263c22bc324c8a7d7723ccd8d8f1cf477d2724e 3520 aac-tactics_8.11.0-1.debian.tar.xz 1967d1c4f511bf615b045f5bb584ea0d6ec14314760253a93856d0aa16b81826 15273 aac-tactics_8.11.0-1_source.buildinfo Files: 6ebb662fc5e2375d844f50c2975c57f5 2178 math optional aac-tactics_8.11.0-1.dsc 7bc607851ba634e160597e726402172e 65363 math optional aac-tactics_8.11.0.orig.tar.gz a643e5c4c2a685ad06dc6aec1a3fefb9 3520 math optional aac-tactics_8.11.0-1.debian.tar.xz b5a3a59d2980a558b08ff0f363cad51c 15273 math optional aac-tactics_8.11.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5w9ewACgkQdFxHZtTK zf9gBA/+OgZFLC4Pme4raeYVfXnMuCW10qywZgw47iHPq9WrE1tq2clT97E9B4df FXRKE/xPKDSgThbjSRY7urt8q+6cfDmQ0xV/z0o15vUBNqkLe4CzotBDiVFef4c6 tWdMEi4BXqb0AmuQ8CXytH8Ru4LJiRNI/UArXP1+t0Ypp0fWt1UllutppbamwgsT 0583mIRV3W2ar7qqvHoQKO1Gbw0LXXY1TNDGBkxF8vG6RhEBBQjVrHlZD3szVpl2 zft4ACUnXfkxrGB1EC8GM/97O4LuAio84qzVRf8P5HiuajDQ3g6xuThcucqo9nCF EaMjdDLcqEmp9VQjmSlt5YbulEJBp8hgfOB6mgh0o2DNqPDWaKf6tPHSu12exMAV Z5Q+eCndxH2I9a7U7aj4kIYLl0IUkDsmXIJVm1zFX/QV/jGBDWb+iJFdolnJW7MZ Gq4d5gbAVWhhCL2W4TCbpci5k5DTCEqGHgvfkt/Ewf2PbcgWsTc2QGTe2iYwb9Go 2rUsJ0pBq0m4goYRgzwkLkBIc4FI5YvX2fIRvSM89tp5GEoNq9k/ZTufZ2NxZQga WfCxh3Y6JOa34+jp6BTBX9QqS8uFaDCDNWm/QpQEpI87PuZ1i64QAHKy3l+L7LnE Vp44SWo1NJwme/P+B0KAxU04GsTJdT+qZ8ixcUr7H7qmlJtguMc= =Tpf7 -----END PGP SIGNATURE-----
