Accepted aac-tactics 8.15.0-1 (source) into unstable
-----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-----
Reply to: