-----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-5 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 daa67cae6cca90ed6138afe520b003f28bd812f8 2980 aac-tactics_0.4-5.debian.tar.xz Checksums-Sha256: 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e 77336 aac-tactics_0.4.orig.tar.gz d15994f9f1f68392cb9127f7f09789ff0b5f6dc6882d7c2e4b182a1d7af1b244 2980 aac-tactics_0.4-5.debian.tar.xz Files: 6ea20f8288d6870d3baba0b5c940a9d4 77336 aac-tactics_0.4.orig.tar.gz e2b30a1ea8289a6ded1cafc027b94e05 2980 aac-tactics_0.4-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJWHk4CAAoJEHhT2k1JiBrTCU8P/3GipIaTASqHvljOboHCzVin /E9prHMEyuZ0eYm5wLMHg3iVwEh2RuzgAmbNhtcLZzKEKSWMIfP+myBZ4wJHmoXx +TRiq4YNdUDCiWa+A1ZSusPooOU9zaokX6fsxp71cCSXz+KMXkyh647EPC9QknVe eKVPDfI3OioYC/kGtBIQ7MxiIzH/d3xTz2tXA1eO9cQ74/MZLIJ23vIRH5s/3IZi jworNZ4TY4IoOi4vnBEDEOfCUljkxU2XdMy1N+r1xXCE14n+uSsQJR8eI3OtlC2e rH+iXbhpZaZqQCziujg4CZT7nH1cbERc8TwCSbuh/X5fBBMCUtE26WZA3tZLi1/7 jW2QsvbjbfH20SNdO92Ya8001H50rzglDYRaVQgBzkOzDKV3zJZ8axh1OtPtIise mHtjsxKuNboBB174cSDlCowuS0rbe+vg4Lu3vGSvwA4fx8u86GFYruck/V/j46rb 4RUg8fNnRhJjkNzjvkgrME3LOR9zm24EMQXzrIu17RSoRVWWyF454ZjlVT6Kxo2C MhKee6fZVQP50ddkmDiCaZ2lxyFQqRPbSySyZ0Tq6NBvaRAZb5AcD9tYox1nz2t5 VatoDigtR85SsIUzfZPoPSOLm9DH1t5I6Kjir3BIZ10SZYdBsHvGehpjEjiTkzUY gXtdM4oUHfzA6q2sjKjF =WXzB -----END PGP SIGNATURE----- Changes: aac-tactics (0.4-5) unstable; urgency=medium * Recompile with OCaml 4.02.3 -- Stéphane Glondu <[email protected]> Wed, 14 Oct 2015 11:44:20 +0200
