Accepted aac-tactics 8.6.1-1 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 27 Dec 2016 16:06:51 +0000
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source all amd64
Version: 8.6.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@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 (8.6.1-1) unstable; urgency=medium
.
* Team upload
* New upstream release
* Remove patch 001-fix-typos, applied upstream
Checksums-Sha1:
bec431d330394c45626684873f29a35e05355c73 2217 aac-tactics_8.6.1-1.dsc
bf4e35a8569a929c75f86f45b9637206f01ac8de 75073 aac-tactics_8.6.1.orig.tar.gz
95acaf667a05ca834120155af2a6c6814b3a0fb0 3220 aac-tactics_8.6.1-1.debian.tar.xz
54e5b3552bc61e814c3c1eec0a51c7e978b01de1 11301 aac-tactics_8.6.1-1_amd64.buildinfo
b44ffbc06740e445de43b219ff7ad67a39d6d6dc 222342 libaac-tactics-coq_8.6.1-1_all.deb
2d278af76d776126d61f83bd64d64a212db7d5ea 15086 libaac-tactics-ocaml-dbgsym_8.6.1-1_amd64.deb
eea768fbd5247dfa4604ca9f62b94fab137b9d94 38972 libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb
9e7f9ca3bef84da450118cd198a5d717ddbe7ad0 110242 libaac-tactics-ocaml_8.6.1-1_amd64.deb
Checksums-Sha256:
ddc78ed624684a0389eadde64f3ac6908bab16c306d9420f9f2fe6b628e65ab4 2217 aac-tactics_8.6.1-1.dsc
bb8ef2de84f57a37a6ba6c2deba87e548f258bbe7caf9126100cc4b95f80db47 75073 aac-tactics_8.6.1.orig.tar.gz
976c78d85b53ae3c8d340096b09ff288af3c0fa6bf5b4b854999900ef4d083d4 3220 aac-tactics_8.6.1-1.debian.tar.xz
c22f07a84ee373774aec63ec67c5d1f11c93e3da9c62b4b622542f6861eb43a1 11301 aac-tactics_8.6.1-1_amd64.buildinfo
d70a733fff0dac10778426dab1ae2aaee14e28b7d52b7b3542a5192842e33c65 222342 libaac-tactics-coq_8.6.1-1_all.deb
be51cbaa206ef9d9a8f8d78bde7b750f9a6afd73f359317a0690e298d6686d3a 15086 libaac-tactics-ocaml-dbgsym_8.6.1-1_amd64.deb
378043ba0a68db9254471da630c55b85381c02dd4e88567a7100842a7d8c3f7f 38972 libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb
53193146feb45799d8c5206eb9ffd52ab62c5463a88f918d53a5367376b0a835 110242 libaac-tactics-ocaml_8.6.1-1_amd64.deb
Files:
c57a7e25977ae59177faf50e71ce2097 2217 math optional aac-tactics_8.6.1-1.dsc
2d5a77e26ae85f1fb6ab0e5034787d45 75073 math optional aac-tactics_8.6.1.orig.tar.gz
ebeee14e60a2937f6c8260d5285c3584 3220 math optional aac-tactics_8.6.1-1.debian.tar.xz
5b80f3565ae371e6f0ce2ab6238f448f 11301 math optional aac-tactics_8.6.1-1_amd64.buildinfo
77c0b43dc2a94525228011e272383524 222342 math optional libaac-tactics-coq_8.6.1-1_all.deb
ef4c15a231a0570c09d53a74734a723a 15086 debug extra libaac-tactics-ocaml-dbgsym_8.6.1-1_amd64.deb
2bff076ca1e90639b4375cc9dcf67a1d 38972 ocaml optional libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb
51d89bd974421f490a9414b14e46799a 110242 ocaml optional libaac-tactics-ocaml_8.6.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJYZjAmAAoJECUFM8yim3ZPWwYP/34lV/rIJTw/elMpfynhi4IV
kXIDkJd4SAal/FKpkQ6AOMvxlkYN5c1Qk2/4dgE/w7WzxpyjjeOipmLacvKJp1rl
YQsXpVI1655imSkGBF7baOfuJiEtwYViWGy5BQiSUracEk5qwNYLKvQb1U9Y8Sij
zpkUk8aGPedK20AdzV12pTo1ZbrjgU6LXU768hLzZv3WC2hU/EtlpRrqdcLeXBVM
9N2xcvvS75l63rsUisPegOmxSdiyuVu1zyd+wUEnejyzBy/UUu8SgLLKRnyz7EB3
7p5koLJauUENwmhlrblR+242iqKRoc1nIbP8qDjUPZCVaxwYMncT0P/qZF8SVzJ5
/bjGhr/ooTKtlwmA6QnhxahbhY+IPtfAxZRF//PStLoR0kueNXVTapY+ZyKfku6D
+ugF21jmlmmKzkWULN0rIb2FSNrHZ5qhfp7t+Oa7w20XU8BdCBXdLcXb361/9phE
SKdb0gbltGqUUV27lx1K1OyH9G5DmU7qxEx/S/FcGsOw47MWePW0DMxJoz/wuM9E
QVNqwPPkpq7tA9njbUYFWPtR8rIk/5+3KekAefbtKMqr//IgK1OMhSYGzAGAtLjB
GEpnMWCcDCPkQpPMrLuSQ4PmDIpS+lYsQBFtuf/jV9OwntB29eUYpuA+Uu8a5qBV
dd/VXk6FOHmzAmH6TVkb
=aR1o
-----END PGP SIGNATURE-----