-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 10 Aug 2015 21:16:02 +0200 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source all amd64 Version: 0.4-4 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 (0.4-4) unstable; urgency=medium . * Fix Homepage URL * Drop debian/watch * Bump Standards-Version to 3.9.6 * Bump debhelper compat level to 9 Checksums-Sha1: 95dd775016123a734c3e956aa7fcadbbc3b6361f 2238 aac-tactics_0.4-4.dsc cb437023a01e05be973f42095c7f6707047cea9c 2952 aac-tactics_0.4-4.debian.tar.xz 2ccc0fa4720397dc0634bfaf903c60f247d54596 214012 libaac-tactics-coq_0.4-4_all.deb b0d7ea11ca58002c95c151cf7f28cc0e6c8e3c29 45330 libaac-tactics-ocaml-dev_0.4-4_amd64.deb c93e5206153c0e1874b04d5520234e62336bda22 128904 libaac-tactics-ocaml_0.4-4_amd64.deb Checksums-Sha256: e161ddab9f29c24de017ab2b0d257da21ba20779077f94787eaf2c9a7db3c4d4 2238 aac-tactics_0.4-4.dsc 3572d534fe38f44e6e405722dd70ab2a28dfa9bac9c2cc05a1b348a33f3e41c9 2952 aac-tactics_0.4-4.debian.tar.xz dc6a7075199e142107fb4ce6494d590c3152f60d5feeecf8efdc3f82d9cd3173 214012 libaac-tactics-coq_0.4-4_all.deb 662bf14ae8364cfaf473d30a8ebbd2b04592a438dacfc39b1c1c376f18423124 45330 libaac-tactics-ocaml-dev_0.4-4_amd64.deb b004bac402f0bdf34cea43b6bf3e3eb813a34624e2c6869a9854ef86eba7df47 128904 libaac-tactics-ocaml_0.4-4_amd64.deb Files: 6b012062e575b2236bef4f2c3ea21e94 2238 math optional aac-tactics_0.4-4.dsc 32a89ec23b1a833fabee7feece171cb8 2952 math optional aac-tactics_0.4-4.debian.tar.xz ac3e54c17d077bd0ace520aee194ebfa 214012 math optional libaac-tactics-coq_0.4-4_all.deb 4abd7f7f3afa3f7fd3bc725af9b6132f 45330 ocaml optional libaac-tactics-ocaml-dev_0.4-4_amd64.deb 55d90531c37601b0c9ca1c3724f326d6 128904 ocaml optional libaac-tactics-ocaml_0.4-4_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJVyP5RAAoJEHhT2k1JiBrT2joP/3EFgbzTMw03kasIgVF28TS4 MAm+8RD0d82H87Gc6XrekCNJv3CROhoIdhfU0yevngRkvRFga4eATdqYx9WRGN3D fCkMcSqEHpiFTUhh/jrvqLTaa6OSRfTISo+DGU/Rq2bAn7p0lFIOdFq7TGOhzDLZ HefB0vTPb9SxpZBWU3PqmOBL9j0xcEx2d48n/3Zjgcy+HjjZyvrZfU6XhmnU/CK2 e81Bgd5yrngB7z0aNny0zmHmRROPFLLi9Z2Y8D5j8PiilJuOyyM745wBO5udBv9P pFIhMeEVXr/cQ/NpI07AnVxCGzHMMT411Ylq1ITq0A+uergs9Nmb77bQv/o4XusI fnYnWol3A6uf8XvXepGW3TUkWbzr9UtqjKoqyFYZwNx8JfX+YYIVddb0WfziuRq7 a4TthbWMlvgaf0/xq2iIBlxMvpoSH0jAfdpbSlcCxVLwdvq2CV2ic8c0Gf01LGGR WOsCwN7sVIwsfOE5UT5WvAEi3kReuL+HyCdCFzbh3eJ9Ay9FxpOGfTTmriitzEN+ jAI1/KmjGToL5IFiI10PTiexFCISCPeRwNTuQ8cbs+tdq9QQkR1hDvfYEZcyxEFM /kIbiZL+CJsTn/+xQZgPzH/ato5Qj5DBdHvNYhFF9egPxXj9Sv2iybRgJTwStnAz U08yHCaWlK27XV/JCQIg =agxm -----END PGP SIGNATURE-----
