Accepted aac-tactics 8.8.0+1.gbp069dc3b-1 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 17 Feb 2019 20:29:23 -0500
Source: aac-tactics
Binary: libaac-tactics-coq libaac-tactics-ocaml libaac-tactics-ocaml-dbgsym libaac-tactics-ocaml-dev
Architecture: source all amd64
Version: 8.8.0+1.gbp069dc3b-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Benjamin Barenblat <bbaren@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)
Closes: 919463
Changes:
aac-tactics (8.8.0+1.gbp069dc3b-1) unstable; urgency=medium
.
** SNAPSHOT build @069dc3bd125ca18f5712759d54edcf9addb4cdd4 **
.
* Team upload
* New upstream release
* Build an unreleased snapshot to support Coq 8.9 (Closes: 919463)
Checksums-Sha1:
1bfd5839c62464d7e02e7830c787f4d744dd80ec 2277 aac-tactics_8.8.0+1.gbp069dc3b-1.dsc
6a348aec1983313a9341b874a960a168758731ed 65943 aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
4bae44570f4413f9d4e19430222f2dc967e40dae 3524 aac-tactics_8.8.0+1.gbp069dc3b-1.debian.tar.xz
c09789095b526c344a67cf38b7a40516345f7f6a 7426 aac-tactics_8.8.0+1.gbp069dc3b-1_amd64.buildinfo
bf3467fcb18dfdf11b271ab98b47ca917ce800a8 220700 libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb
ff301e41033295615ca0a93975d4d3d1df826d1d 16672 libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1_amd64.deb
619dd106f2fa6593fb36ae6f719cc90f2bb5aae9 37944 libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb
5b861f4b004bf8ab736f3b73a625547f32c37457 123092 libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb
Checksums-Sha256:
d20ba56d4e9eb5905962d3f370147907547a15086ad5f5c27e2124a68e5a5325 2277 aac-tactics_8.8.0+1.gbp069dc3b-1.dsc
2a4273bfcd7be376077c8160f949272e0028b66d69bfaddce66129b47267a95f 65943 aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
33856dd20250e48b1386e46f3e7247862e347adb611c1e15e86a1e2a8d981ff0 3524 aac-tactics_8.8.0+1.gbp069dc3b-1.debian.tar.xz
52411bb342529096b4c29365dccc68043a0fe5e550f940193935077b4d3fc1c4 7426 aac-tactics_8.8.0+1.gbp069dc3b-1_amd64.buildinfo
7c09734a15fc3fd3ec8fc0bbc5b6d35968d11b9183e2d5ac3163b0a8b56dbf7d 220700 libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb
7ee5f307e4d1b1b8ab106b943d51401769188b0ce4bf91a169a0c22db1c29ca5 16672 libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1_amd64.deb
28c02092b65c79bdcfa6cc45eddd80b28a6d448fc21abf253612811fe1716b24 37944 libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb
967a6892441ecabfbb070bf2929dba41d4abaf1abdb37d3ad9cce835823a0add 123092 libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb
Files:
af4ca89c26efb40c8e8f914aefac6668 2277 math optional aac-tactics_8.8.0+1.gbp069dc3b-1.dsc
622e53bb329b77950b4083d5bb76fb0a 65943 math optional aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
6351d8cdbb1c09c4616e6f7d71ba614c 3524 math optional aac-tactics_8.8.0+1.gbp069dc3b-1.debian.tar.xz
63ab3430ad952b63ea1486fda9eb99d9 7426 math optional aac-tactics_8.8.0+1.gbp069dc3b-1_amd64.buildinfo
ca419566fe1b3688f30a62669161a6a5 220700 math optional libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb
b96044d4c46b7b984964ab29664d46a9 16672 debug optional libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1_amd64.deb
cab4c7a71bb63b2b7682814f5d5b4126 37944 ocaml optional libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb
d1b8695dbe9aaf146547187a0d105d1f 123092 ocaml optional libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEQbf+q7LkywHKVTMA5ZUVm53A7cMFAlxqDN4ACgkQ5ZUVm53A
7cP0URAAkxYFetKXCGyBrD/GLePaCgXy7khb9XBePkA+IPrffNk5knOwMQ9XGoRP
HzHjkAPCXAGfPjmDPC/bCrwoVv45e8OxXUH8PdyX+q9QLbzDrlSkbdN+K/x6lai2
D3qBN2GEwjO7MFkEJILYZqSuRuOFkxnMfl8H/yuRs9DWLDqv0gv8KPxXJ5IP5JVl
CqwMfIMH/sHqKZ2nA3kRdidUZISbnXZBIgXrENB7rNMDETioNrzHMn9kFqdmzd9L
23EkGg5/QK8S5TczpVt0RtQ9rJpQKzZ2Rnroin/HhN/ROZvXqYGkRpJIU7if/jdu
nOjqRF9O4ZF3DTxg9jaZiPkOGw3oaQSkFRLo304ydmYR6XevRNOsbhuOXfGWlVPQ
ot6PvBiImePdzqHwUoOxkH0WALYcOPmZVM6jyKKhz/mFIDW2LsYsIPqofEBUG5ED
ecR8QraPwcj/Pn1bnc6z6YAM5KGqaiBxJLzU2+7eYcTAqaej5jQwD15l9neCqM43
Vhj9qcn9wlIBILdqoslIi9vn7h8L0FcloHToFNpha377uDt9VargSrSa0zYE0rEt
tU84H3UdtT5bOy3Vw7Jb+is6lIFFpNDQJqfMzZJnqN81/wJCP/LuyA0uTZdUkdFz
fKfEKUwo+fvhRLCFI1OTGZpsjTgA/qtSTR1/YPTayo877OWvFGs=
=mGYI
-----END PGP SIGNATURE-----