Accepted aac-tactics 0.4-4 (source all amd64) into unstable
-----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-----