-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 06 Feb 2022 13:55:39 +0100 Source: aac-tactics Architecture: source Version: 8.15.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 970454 Changes: aac-tactics (8.15.0-1) unstable; urgency=medium . * Team upload. * Fix d/watch. * New upstream release. * Adapt to new coq library layout (closes: #970454). * Bump dh-compat to level 13. * Bump standards-version to 4.6.0. Checksums-Sha1: a1660c8592935039db3aa1ece82e9b27a3cf936e 2209 aac-tactics_8.15.0-1.dsc b4b8655f441c229d8ab58cafbdff67adba8bacd8 68103 aac-tactics_8.15.0.orig.tar.gz ef72f2ad16d9df33c43a696e93ae0da0d9dd6cee 3600 aac-tactics_8.15.0-1.debian.tar.xz 8ddbe48b5fcd9be8477e593a8cfa5ad4f5616a82 7536 aac-tactics_8.15.0-1_source.buildinfo Checksums-Sha256: 4d7e4bccde9b50a266105c90c7e601e0a424204589557d0e5f0d1aba99800538 2209 aac-tactics_8.15.0-1.dsc 82fb23ce42de6892879e9aa0f332de3dae46c6ef4bc65755f0603010701bec29 68103 aac-tactics_8.15.0.orig.tar.gz 5ce738ca387f0a64152f86ead9234222e418d71d0eacbb027f156331a37e7858 3600 aac-tactics_8.15.0-1.debian.tar.xz 747cda4824728d7e540cfe1d23dde22c14da43b158999a6137c344964e9aea9d 7536 aac-tactics_8.15.0-1_source.buildinfo Files: ec17abc25f7a29da304eeaf9d67b13cd 2209 math optional aac-tactics_8.15.0-1.dsc c052e4cadc3ed5c5c78cb1b245ae6b66 68103 math optional aac-tactics_8.15.0.orig.tar.gz f172c383d9101d5abc40fa8751380d54 3600 math optional aac-tactics_8.15.0-1.debian.tar.xz af5da21700350d3dd7cfb6fbdbd05331 7536 math optional aac-tactics_8.15.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH/xXUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRXEkP/3x4ODrMsk7kFhFXOQUK7pNwRF9Bp7Gh R1KFRS55kfFfBN09LQ4+0Z2hu76QoREZByr7SiOn6U7QSF2+ZK3koRkMGzyjKOB2 I8LW8yH9ld5SssyU49vBU6WILepb6HjD2HdS5CAWzCKwzQfxHzj0eb9pTFxaynHd bQKx0+wXxnUNF16MV9uswNDGQX18XOC21sIuqGDGrZOoRhYJ8KQ77Vvs6U/kCIYE sjuCB1MS74lU4F88L16yLqV0jDlVrDkXKksFCTfZbGc/xLOiDJdt46qAQ4df3m+F QANN3ba7Wo7PJy1AvQD7lnx3sYXfPxrbzu0FCuptsttc77vI8zYK5Gon7goqZsOB g4uoAfkWEqy0CgX2QVRxaApaFDHUXtfdEzbcN2MgoDSuNHFFt7jfbj/LQr58XvjY sibofv2nWSZb/LJx4FD6y6RO4nV4sfx6tRTIhfAOCjq2Us8DyzRfPO7rIvK/br3g zhQCg2XDBBax+uFhj7LMIZU0VJ80GS6nBvI8bxb9MPmcrhMUGNJPLeJmCg1Nvwt8 u9CIwP6O0hTNt62tZyxC2eKtz5ApsxSkstBOQ5ugDAiQFOeDRmphcjKXr8IY7D+n LzpOtLSzUD+CSq2Kq98F1sgVMe2OEZesqyr18uz+jw0M/Tjel2cmCFE2hyEqwZpj Apo0v5gIpnNv =R0+r -----END PGP SIGNATURE-----
