Accepted alt-ergo 0.99.1+dfsg1-4 (source amd64) into unstable
-----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-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@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-----