Accepted aac-tactics 8.6.1-2 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 09 Oct 2017 10:33:39 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source all amd64
Version: 8.6.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@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)
Changes:
aac-tactics (8.6.1-2) unstable; urgency=medium
.
* Recompile with OCaml 4.05.0
Checksums-Sha1:
fa6321b2731be311442e6aa25d5fc5802e022d8a 2238 aac-tactics_8.6.1-2.dsc
ac6c3d14123d9c118090c189cc18825ba909357d 3248 aac-tactics_8.6.1-2.debian.tar.xz
fed9a1ed4f8e9371663cacb447ff61ebf5fada9b 12367 aac-tactics_8.6.1-2_amd64.buildinfo
e1eb30331f069c29cd99d6d50dd4c9d62b4f3890 222528 libaac-tactics-coq_8.6.1-2_all.deb
f98991f9770870e66cfcabae855e1c16bdb96ac4 15836 libaac-tactics-ocaml-dbgsym_8.6.1-2_amd64.deb
6c0df0dd02ca306d72d72f826a2cdfebda9d7577 38632 libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
afc576cdcef5a690d1a34189cc8f947d99fbed33 122472 libaac-tactics-ocaml_8.6.1-2_amd64.deb
Checksums-Sha256:
28a12380ad412a2331848323eeed5479496d00d32888596eca536409743b4f41 2238 aac-tactics_8.6.1-2.dsc
d898bd9952edb152cca1f148991f6dcce87136d40e4a5f04beda396ac5b1b16b 3248 aac-tactics_8.6.1-2.debian.tar.xz
d147df0d3deb1e747b0463175ce7c7eb5e816a2db4da13278f07c904f2ecb41c 12367 aac-tactics_8.6.1-2_amd64.buildinfo
1577f1674b9a97e81cb8c7c271e47e9ad4f94ae408d92d66548365966e4e5822 222528 libaac-tactics-coq_8.6.1-2_all.deb
66900df837f713efb7b3f17f96c08940903b491f591309cd7cc315238cf1408a 15836 libaac-tactics-ocaml-dbgsym_8.6.1-2_amd64.deb
d98d399c7fc3aa5bc6d2da8d611a0b3cf57d824704f287cb3c4a05918d28e777 38632 libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
651b1ea15d47c48cdfba8d17e7e4bbaddf70917a97bf74d31911a1c1a3269fa4 122472 libaac-tactics-ocaml_8.6.1-2_amd64.deb
Files:
636ac837414292f1923199582991e362 2238 math optional aac-tactics_8.6.1-2.dsc
7d97e66a012fb1b1ae9297fe1d835f3d 3248 math optional aac-tactics_8.6.1-2.debian.tar.xz
0c76f88f0797265f2fccf3f063329d1e 12367 math optional aac-tactics_8.6.1-2_amd64.buildinfo
e01d2bd9041561b4b99640b29d8a2497 222528 math optional libaac-tactics-coq_8.6.1-2_all.deb
edbc43d2a72158c9463ea2c0f57efa86 15836 debug optional libaac-tactics-ocaml-dbgsym_8.6.1-2_amd64.deb
5a0e80f5400ce7cf68b23fdc6eb395ff 38632 ocaml optional libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
cbd4ad39de5d2d0e648b7dc03c58e332 122472 ocaml optional libaac-tactics-ocaml_8.6.1-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnbNagACgkQeFPaTUmI
GtNTqg//VJ9JLLNBuCvlblbr7fi3X4A19/PZaU248nC/SEY9vmjlVT5RyVjMmM+L
oWaH69Gckqm8iLHitUaD3tSllIvlRcMs/FBbe9GU/RIa8MXYIeyOodAnhR6P2hxX
dLkfEv/6OmyBKE1dTfPuqiKzPYcIJ6Z1MGW4PeomKAuGYHupf2MaRFWbwI5dRGZG
wkHt4Qlg0Ge4fBFSdpurWkfALlyYoLDcvsoKNLwJY0fTrKgyRFgBCD4uBDsR6quV
rsUvAturx3vwjkoxFuhaFfGJv3I/4tPaF4U3DY6eXMkL9LpvJYrv6LUt1P1YTd6z
WEyyA6Hofc5GSBC7DCEnATUFsPW1RrM+GrjKWGTP2xLPvqXxfoUTew6szLzPJ2Ev
p8cvJReUywp7eR992fE8aibHTaVWUygx0JHzBj1wnbKSA204AaKrin4PbrbJE/Xs
rJd1QaDfSCu/tHVvP9kcn2J2tLVK7+MQ9J+YD+tp1SJNgcuOiT7r/HdlFOBi+9Kg
LB9c/Az1cf9EEpkVkzNW4oqOWuz7NVJmdzLyWbrWtAbXaqahzDlyM2x9nDfsFTFu
HPYZQXS47LljLl2x/IHjs4Gzkq7XV2YM1aWxh6LWe1M4yCwDnmIEcVtBbvw52ADp
PbqirgaA0DZzKP/lJW4temzNvNqLrnVBATL+UqjlwZuIlIXF55Y=
=pTf1
-----END PGP SIGNATURE-----