Back to aac-tactics PTS page

Accepted aac-tactics 8.5.1-1 (source all amd64) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 23 Jul 2016 16:44:48 -0400
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source all amd64
Version: 8.5.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
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: 813459
Changes:
 aac-tactics (8.5.1-1) unstable; urgency=medium
 .
   * Team upload
   * Imported Upstream version 8.5.1 (Closes: #813459)
   * Use HTTPS for Vcs-* links
   * New upstream URL & watch file
   * Install .v files
   * Fix installed docs
   * Fix typos
   * Bump Standards-Version to 3.9.8.
     No change required
Checksums-Sha1:
 4375941c7c8a9f85200c9a154eee3ac952a2e3d2 2224 aac-tactics_8.5.1-1.dsc
 09aa61851d269a6191723d40847638ff15ea1d72 74945 aac-tactics_8.5.1.orig.tar.gz
 fe952c12587f8914637c50c15845ab8991a93505 5304 aac-tactics_8.5.1-1.debian.tar.xz
 1ae1cddc1c081280b457c341e67188dc488fd9ab 218380 libaac-tactics-coq_8.5.1-1_all.deb
 61b19f10fdf814c99a550fc87737b5e69d150e8e 15752 libaac-tactics-ocaml-dbgsym_8.5.1-1_amd64.deb
 fa7404e73db4342d9f20950c436d0feac1f46a66 38798 libaac-tactics-ocaml-dev_8.5.1-1_amd64.deb
 36b21dff2c0df4c11cb711af347f72818007875f 114884 libaac-tactics-ocaml_8.5.1-1_amd64.deb
Checksums-Sha256:
 7d3db47031e1541698c04f3733e9007d10b490c3f668fd3bb8aa2e4f0cb2d81a 2224 aac-tactics_8.5.1-1.dsc
 4fa489fa5162fb034c5f72fbd2b4ba40484e82ed2a7e1b8be130fdbd6ed44903 74945 aac-tactics_8.5.1.orig.tar.gz
 69b9e734bfdedb7b19c7314f5b8f6518958a228232814522f5408aa2e94585d0 5304 aac-tactics_8.5.1-1.debian.tar.xz
 4377485fa54d472c7b8a12e194ba06f6f2a909a6e138c4bb7296f6879cbbd7e3 218380 libaac-tactics-coq_8.5.1-1_all.deb
 1c22e33bec7c95588fe8315e8b795be646e91fd94cb42adb2a8c823faa93fcf3 15752 libaac-tactics-ocaml-dbgsym_8.5.1-1_amd64.deb
 bbe08111b4a2f79f0f0fc1d69b7f4a4d5cea37d548df3fc0d8e707bbe30ee1ac 38798 libaac-tactics-ocaml-dev_8.5.1-1_amd64.deb
 8aa3ea1f051bc402cfb620febf6bb23cfb124e562586e28c2c2db47e9b6f0ed4 114884 libaac-tactics-ocaml_8.5.1-1_amd64.deb
Files:
 8eeafaaf761460cae89ab501b7e9449e 2224 math optional aac-tactics_8.5.1-1.dsc
 30bef1d940f0a13246318883bcc29baf 74945 math optional aac-tactics_8.5.1.orig.tar.gz
 b7bd6277b90b1a34924778022c70cf9e 5304 math optional aac-tactics_8.5.1-1.debian.tar.xz
 960c22f3d270ba0487901d8ca3d37761 218380 math optional libaac-tactics-coq_8.5.1-1_all.deb
 5547f587699c6e194ad65718f07abbbf 15752 debug extra libaac-tactics-ocaml-dbgsym_8.5.1-1_amd64.deb
 d9c4c031f910738f12287284a9a26289 38798 ocaml optional libaac-tactics-ocaml-dev_8.5.1-1_amd64.deb
 01d2c41e3f47089ec34c5d025c3603da 114884 ocaml optional libaac-tactics-ocaml_8.5.1-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJXnyevAAoJEHhT2k1JiBrTetYP+gOlfy/KVtK+aWrNZ8z2OgLj
63FJ7kryi+3pG0fnjC+K4EnsQX0P8KGMzd3A8Uf6CoY0VmUljAYQEsHKGGzDio2K
eyL2/Igo0rhOPNoMByc1zQ06C1/vUJvyLS+zm6X8dCOVyrWYjo1H9dfiItKU6att
cDvGTHU7qyCkSbkKjUejqReDVmj8CttRUrupywk5ns5W1Mfcc9zSq026cMFPSypa
nICFHM6vnDTb4cAQRxaduD5n+1M1HOsI5tggbGv7sGEnm21WzNR/x1dWbGCiIe5G
9rLmMjnz9PQvJeI5t/+Uh1dp2TAekhyEGdmGa12gCUT154IzWL+QbbJvDUa4Wwso
quHmtFFU/49Od0w46Brgms9frHQ4pzCon15G1OMoRyW1RIxzbE88LQkbOGxesoY4
N4jmkWagKLZiYkEb23jJqmQtPo0U7LcCt1fE62hOKkusetsqCrWUTR2v6SP3L/p0
RWJT+jREy/jSo+x51nzHnBKeldIAAcfqNyrWYBH5+h7YKiIOdgSlMkxp3tgUMd0t
MW9QKb3LDVMSb7nzfVWysh/iLJvN2YOGyUxCDBx7FS0lKVIhQdiheD+cUQFkKPVA
uPAd1VZiTwmxbYXLR5fePukbpMh9gFTTfOiH54/PdUPyoh3F5VaIqc13F9y7E+j+
xCN1YMrN4gnZZDgTfgkv
=c1pj
-----END PGP SIGNATURE-----