Accepted aac-tactics 0.3-2 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 22 Sep 2012 16:08:20 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source amd64 all
Version: 0.3-2
Distribution: experimental
Urgency: low
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 (0.3-2) experimental; urgency=low
.
* Fix FTBFS without natdynlink
* This version requires the bugfix introduced in coq 8.4dfsg-2
Checksums-Sha1:
10ce66a75c8cc85ee0a4ce31c4fb14db5f6ec4f9 2197 aac-tactics_0.3-2.dsc
91a787576eef87723b470d3e03998c4e70665d95 2888 aac-tactics_0.3-2.debian.tar.gz
bc795ea28fc57ce6f411dcd1826fe97bd55be83c 144422 libaac-tactics-ocaml_0.3-2_amd64.deb
680d751a620e2a4df7686f09555b971f806a8eda 52152 libaac-tactics-ocaml-dev_0.3-2_amd64.deb
aae9bed5d75eee6b5dc53dfa1df6020aa09a45fb 304428 libaac-tactics-coq_0.3-2_all.deb
Checksums-Sha256:
b711c064929cc161578c883e96924784aad3b3621073e0f54600a822291549b0 2197 aac-tactics_0.3-2.dsc
b0b3f379fe9cb44e4858b8fbbefd7310ac1289d037ca163590ea407a9d86608d 2888 aac-tactics_0.3-2.debian.tar.gz
32bc7f3d84a27cb0df741b1050ee3d06c516d4ca3f51643f2201635f6b55a5b3 144422 libaac-tactics-ocaml_0.3-2_amd64.deb
403aa1a86e369081c0869840b8125b4a1d3cc07d2feb2098c160618606f4327a 52152 libaac-tactics-ocaml-dev_0.3-2_amd64.deb
f4fda08bb499802941d83c1635404113153675264dd572c6bb987956e0755ef0 304428 libaac-tactics-coq_0.3-2_all.deb
Files:
c533d6545bb95342a4a9ab1ee6a1cabf 2197 math optional aac-tactics_0.3-2.dsc
61fe824b56343214ce483de944a10a87 2888 math optional aac-tactics_0.3-2.debian.tar.gz
8706150f4dc5dde07ed8ebf7e2e6e1de 144422 ocaml optional libaac-tactics-ocaml_0.3-2_amd64.deb
1ff9f8e515afdc757f46f29e34bfa9b6 52152 ocaml optional libaac-tactics-ocaml-dev_0.3-2_amd64.deb
0659e9575eec452e920909ec6423aba1 304428 math optional libaac-tactics-coq_0.3-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJQXdTxAAoJEHhT2k1JiBrTrq8QAKm6ayOOJFVP8B5hpUMS5RX9
et3o/2FdV6to8rPxK+tSU6z6mvNx1Lkk2XrlTSgvUsbTwRv7a01PQ87MCXuKL6ms
fiaRCkQ1qdLmqUwIBCxK/pFC6GaMnCHi8G1EZiCfw/A3YoQ4YqV0T6u6qqfdD0cV
UGDMW/EFYR1sMJNiaJZeQ1ibLofHibMyFsbbkppxcDIS9rE4xlF5AjP3KJ0eUdXP
kswy7sdOS/NglTCYQVgVvn73pGO7Yrapz9x+drVfddM5jLcuV1NXxHHnCwZm9ML4
QWPKLMtrKEhhJewtMfdx3p3IZ+dOYDdk/TQ+vFHJAQbVA2dff4uMgcClXshKN9a7
nxvyb3ccDGtB+zCVDtywYMMkicSnNEGmiq32amxtLs1dEWtlAxzA3kUKiW6/iQHc
nq2l4P3kpXAMqyT9RLcTxKq9ZSAi1dse/OZU2zNUz6eGJs1XIUh7FEbsWiy6vjQv
wFd5Hr3OpkZ887MlNRIkCdeoM2EDr5sxIBge1JEEIy7G88nYKtPBgjoO7WSH8PE+
9TF9ue2VUHJgT3l6MiZjCkoEq6vB0C2shV6kkO0tPJIEKjEeQh2m1zbPFIrcM4tl
v7DYU6EbrSTTKliZr3nHOUt1yvAkwnVjv4g0pVdRWLZ48LVxLp7k4jWhvaWRBtzy
fBArVz7hnOZuAHBU5JGg
=XIK/
-----END PGP SIGNATURE-----