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