-----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-----