-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: aac-tactics Binary: libaac-tactics-ocaml, libaac-tactics-ocaml-dev, libaac-tactics-coq Architecture: any all Version: 0.4-4 Maintainer: Debian OCaml Maintainers <[email protected]> Uploaders: Stéphane Glondu <[email protected]> Homepage: http://www.lix.polytechnique.fr/coq/pylons/contribs/view/AACTactics/trunk Standards-Version: 3.9.6 Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/aac-tactics.git Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/aac-tactics.git Build-Depends: debhelper (>= 9), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.4dfsg-2~), libcoq-ocaml-dev Package-List: libaac-tactics-coq deb math optional arch=all libaac-tactics-ocaml deb ocaml optional arch=any libaac-tactics-ocaml-dev deb ocaml optional arch=any Checksums-Sha1: b01df835b1f47b4465b8e4d595f40ee336564779 77336 aac-tactics_0.4.orig.tar.gz cb437023a01e05be973f42095c7f6707047cea9c 2952 aac-tactics_0.4-4.debian.tar.xz Checksums-Sha256: 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e 77336 aac-tactics_0.4.orig.tar.gz 3572d534fe38f44e6e405722dd70ab2a28dfa9bac9c2cc05a1b348a33f3e41c9 2952 aac-tactics_0.4-4.debian.tar.xz Files: 6ea20f8288d6870d3baba0b5c940a9d4 77336 aac-tactics_0.4.orig.tar.gz 32a89ec23b1a833fabee7feece171cb8 2952 aac-tactics_0.4-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJVyP5NAAoJEHhT2k1JiBrTelIP/12cjUsTnfQlihps/9znaWSl FH/NTQS75CjX18kZBVXzIMeqxtOPwgiSVWSqCFh59iwZ6+2FQpLxo6gLiQlQJa1/ UM4bO4Qbel1IG/xSBbqNM0Ds90aTGRzr9YUprubpdVaxiX4JdeMpYBIVOmylG48E ZxV/JDl00miLATeMo5O9YL+G1vP250Vx778WKVCWCH7merEJVq4E/eB/FQbHa9c9 XMjDWvPbrre0lsV/we4+YsO8Cu/ZrHQeBXVOMts7P1CQRPy23KCe+WNEHjZg3XL5 YKVbFLyBUPG2HuIZblphDZvIRtxOaqzLW5UkTtDtGZWbrQv1bre2EhsC0IS/5DPX j0PQ3RCWCZsMYqbf/4ST7zuLCs0YtsdudXH26ORJzRxBvsV1i6UiUt6QAzLof0Zc NVmcjwTl4exHi3FUjG+goJCUQrdDGDGraa8vVZu7VssawjR/JBqBKzXIyDODIfiN ZS1Yq7ee3rnBb4YKmwNOUil/Bk7WhB43mcNDshJL+jRuH54SgcfI5oJ1fYGgx9dD jtsPC5F26d71g6L2ymHrNVAS2DgoUsBxL/aT0naDxWZY95AhbQWJNtzeRLwEMoop UNox/DlgJ/4B5sFZrQAvPhop16s828ncVL3p+U3dyA22mRO+AkUufrIwK6VRdtMd yK3ZNS5BJt5hyib/jtiV =OpLe -----END PGP SIGNATURE----- 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 -- Stéphane Glondu <[email protected]> Mon, 10 Aug 2015 21:16:02 +0200
