-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 14 Oct 2015 11:44:20 +0200 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source all amd64 Version: 0.4-5 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-5) unstable; urgency=medium . * Recompile with OCaml 4.02.3 Checksums-Sha1: c451e11d863e1233ad08b76be65dbe48dc53eee9 2238 aac-tactics_0.4-5.dsc daa67cae6cca90ed6138afe520b003f28bd812f8 2980 aac-tactics_0.4-5.debian.tar.xz 93e43746bbd138bb9a8f51ca38229fd5d0e67792 214068 libaac-tactics-coq_0.4-5_all.deb b43db4901c4fda8dba32b17211115cb5379f17b8 44414 libaac-tactics-ocaml-dev_0.4-5_amd64.deb ca4459d683b696bf02e324d94d6f3fd877780816 121340 libaac-tactics-ocaml_0.4-5_amd64.deb Checksums-Sha256: 60934a2f6d3e4f170b3517968907703015e00dfd8a0e5ccc293e7f7452e0df76 2238 aac-tactics_0.4-5.dsc d15994f9f1f68392cb9127f7f09789ff0b5f6dc6882d7c2e4b182a1d7af1b244 2980 aac-tactics_0.4-5.debian.tar.xz e5c473e8014cfea1aaf80d1ff9d800053e17c13c39090870b19f4c94895c9ee9 214068 libaac-tactics-coq_0.4-5_all.deb 5a1afa8fa0df288fbcb58a9571fa15f414c30f597b96c182496ef7b39190e3f0 44414 libaac-tactics-ocaml-dev_0.4-5_amd64.deb 0895119d71f856ddbd3edb108201986b2562056c0c2dee5a6698782a50680ff6 121340 libaac-tactics-ocaml_0.4-5_amd64.deb Files: 49d6392e01dbe2c9e0278e86fbd23550 2238 math optional aac-tactics_0.4-5.dsc e2b30a1ea8289a6ded1cafc027b94e05 2980 math optional aac-tactics_0.4-5.debian.tar.xz e89f240ba5e7889168053aa76e10fa16 214068 math optional libaac-tactics-coq_0.4-5_all.deb 3868d91a49d5178f4f21ec0b5fdbaa47 44414 ocaml optional libaac-tactics-ocaml-dev_0.4-5_amd64.deb 872960365db01dd9d9081e63a26b8b58 121340 ocaml optional libaac-tactics-ocaml_0.4-5_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJWHk4GAAoJEHhT2k1JiBrTLkUQALAwGfRddeYl6uXDGcztM3Xl zpn9e7jUl3APQomRWrEDk1ia8zpr0DN53In6tJ9qh3o21OqoVxQHIChi5oKa5ICT 3u/wodRrwk82tpr3/X0bMvID/BLcAM4Olg0HVKbe3X0AMAv1WdPPjrXfZfGEXx2Q cEKijDctfUdyY/bLhPqZ07scr489ISb3JNedrSwNtDblrdCuhOecXdL2rIDyIKjV Zh2T+lheP7ONFBbKZz1xyug8aJVxjk4f1s2MinhQBYAOuo3+MFu1D2AQF0aO81fA EUMVNophm555V3MCLx9Gc31TEa82RqWOGY+WwKT6m0OLldseeRGfawyasfhDGnQ6 B88IYdwBPAyRMkec1RvyBufLxfn1JHzQY37KIGtrkO7gyI4QpNIO4Md7TwMXoltB 4/PSUPyP5Z+7xsbj1RL0YLUDYSmTEFZ//1UqReK8LGCOoxOaH4JARRaFkioCkI52 Qe0WOcTzGcPUWB1II+SMYkd6Nl46saU31GY+AUGeBpdohay5eUu+V93WjGRhCQDk apRg1feDXt8O5OLabtLuXcNlDodsDFnc2ICTsKR64gATyyGbvj6ynXfJqA4r6S1o pQHe7tQ3Wq9vMIk5noHJ7SPmSEXd0PRfJCWD6HykF9gNi69Prc1I+HLIv8GQjAW8 5g+q7KTBizB9x/gj/f1G =B022 -----END PGP SIGNATURE-----
