-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 26 May 2015 21:56:56 +0200 Source: alt-ergo Binary: alt-ergo Architecture: source amd64 Version: 0.99.1+dfsg1-4 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (0.99.1+dfsg1-4) unstable; urgency=low . * debian/patches/series: add missing newline * debian/control: XS-Testsuite => Testsuite * debian/control: drop duplicated Section * debian/control: canonical URI in VCS fields * debian/copyright: Makefile.in => Makefile.configurable.in Checksums-Sha1: f853ad50941d50aeef9573706c85d053486d6ebc 2232 alt-ergo_0.99.1+dfsg1-4.dsc 3998f571265285f0d9c2e0555db2fd8781f288bb 12604 alt-ergo_0.99.1+dfsg1-4.debian.tar.xz 094ee68f11a28c6874f91151e33b4f712bc8f20e 2021796 alt-ergo_0.99.1+dfsg1-4_amd64.deb Checksums-Sha256: 7596f6cf7b057106d9170660da83465a9d05bc257a4e7ac98921dfd309a1c399 2232 alt-ergo_0.99.1+dfsg1-4.dsc 75248d0feecb549cdc9570fd850e30012ad6b4b557a86f8ba85491e14028969d 12604 alt-ergo_0.99.1+dfsg1-4.debian.tar.xz d2a507e6cbf6af6bc1fb439b6e35e2a9b295a90bf1b0a993eaf4c1f360dc4bf7 2021796 alt-ergo_0.99.1+dfsg1-4_amd64.deb Files: 3c9ac188428e2f5f6ffe854fcf579bf2 2232 math optional alt-ergo_0.99.1+dfsg1-4.dsc 0dda726ebff450049915dd403ef06cd0 12604 math optional alt-ergo_0.99.1+dfsg1-4.debian.tar.xz 26037cbc04d704924a7a141fb7b19004 2021796 math optional alt-ergo_0.99.1+dfsg1-4_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVdKfQAAoJEHRcR2bUys3/GI0P/itugm74WVEMqINrXrKdug7X hyqYm+VWW15aYVr7czt5ABZQyziwl6WTW2DJtjYSqynNATgVKPMcEnxBRb3iWtYI PDoMFWOh4gVdhayf+zph47HArVilUdI3446vboenQVuA27YMTLxaE2ywBO8/H+xk kWrripJQaDGTPAiT0cHzBkQve7LBETBx3Xvv0vJQUPa+5Dg1/XQQbMph8DKsuv1A ENNueX7mdE0nrzEdTuMuplA50algi0pOVO2eET6NK62SwJhEuoa46xZ+4TQ6YAmA D1t1hSJ1nepnOvgUPZQHPpclvrxQXn4YrFzPkkpK1+iLSJRa5knBHvlCLWcFX7Vo RXltLZ/wn+AWuuEgCzU/hpoydjwDBmfgTyCGbi1e4Er3CclsEHNlkPqPpxIkpryg EYYXKz2PyAd0BvYbOk3uVT/IyXFoOscEG+UGxX7c6cCfj7tTpgFqg6J+G2mtoD51 8DBC8kd2rfJYTZ8/M0UBhnVv+at4fbVtVkALnDtk7/pSSY+sw1tVeOsg/0TP2Kpq JJ5FLPpYmUxcTPzKhdgz35qXFoJMqhgtvREPAsAo1XKM5Au8gzHafesZji1hzBgA cNas7/lyQGW8cd7KIf2SlTTez4C/0ws+76ZUKI4ks76Uc7nHLKqHSSdenHRTSDJn 6CbkkisXftDnJbHpYQ4o =UBPe -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/e1z1iuw-0004us...@franck.debian.org