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