Back to aac-tactics PTS page

Accepted aac-tactics 0.4-5 (source all amd64) into unstable



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