-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 31 Dec 2014 13:02:03 +0100
Source: alt-ergo
Binary: alt-ergo
Architecture: source amd64
Version: 0.99.1+dfsg1-1
Distribution: experimental
Urgency: medium
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-1) experimental; urgency=medium
.
* New upstream version.
* debian/copyright: add Files-Excluded: non-free
* debian/watch: mangle suffix +dfsg\d*
* debian/rules:
- override for dh_auto_clean target: call "make clean" only
when config.status present
- override for dh_auto_install: drop install-pack target
* update debian patch 0001-No-need-to-activate-debug-flag which now applies
to the file Makefile.users
* new patch 0002-non-free-dropped: adapt Makefile.users to the removal of
the non-free directory.
* Drop the libalt-ergo-ocaml-dev binary package since upstream does no
longer support installation of development libraries.
* Standards-Version 3.9.6 (no change)
* Added DEP8-style package tests:
- debian/control: add XS-Testsuite field
- added debian/tests, with two test scripts on the examples installed with
the package.
Checksums-Sha1:
480b9f58145e28aad77de35e0cbcee06fce41dc4 2225 alt-ergo_0.99.1+dfsg1-1.dsc
b8f439fcfb27328d44807edc77720f3321c31af2 222894 alt-ergo_0.99.1+dfsg1.orig.tar.gz
b6ddc3a99f6b58a76d0909bdb1bc1f3d6622428d 11944 alt-ergo_0.99.1+dfsg1-1.debian.tar.xz
0eabf2d07112cdb21c2d8311f018b10f551ec926 2023486 alt-ergo_0.99.1+dfsg1-1_amd64.deb
Checksums-Sha256:
f487137df96bb7ef95eddf84e24f4f1461dfb76cc0e18539a572f986e4fd04f7 2225 alt-ergo_0.99.1+dfsg1-1.dsc
8fe9e1cc3fb1d8e9b0054677dba486d5c5ac64e2470f2ea40db09941aa104b4f 222894 alt-ergo_0.99.1+dfsg1.orig.tar.gz
d8ea4ecc593344c30c679d89d61eee03321fb88e4ce4e240e77b9adc80efafb5 11944 alt-ergo_0.99.1+dfsg1-1.debian.tar.xz
ef769b9f9d56c48e8660cbc8dd09c7fef10b08835cfa7232a262b88677b1ba72 2023486 alt-ergo_0.99.1+dfsg1-1_amd64.deb
Files:
60b860a663f84780040cd808256f654e 2225 math optional alt-ergo_0.99.1+dfsg1-1.dsc
5b992a955bdf0a5d11fedbcbc3c27143 222894 math optional alt-ergo_0.99.1+dfsg1.orig.tar.gz
9af6be7484743d970ddbfda6237d8f9f 11944 math optional alt-ergo_0.99.1+dfsg1-1.debian.tar.xz
c90589c116365f57fda60b2be8e73ffb 2023486 math optional alt-ergo_0.99.1+dfsg1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJUo+wRAAoJEHRcR2bUys3/KRkQAKylxThEiXANtjhRBXbYDUhc
OFpQCYloWPGUIIXppbtXBo6apyZJ1b6y2PRPz8IXNX9+BYNJWb4Ob+MK9mysD6OM
9t3ta5zVMLzlUAavNQ1CDFdaoIftKELymKvxw0DkmJsWHBLTjRWAbPJXcktDOccG
/xdFiNwVCEP5mB7+vLqa16UFkvIerX7dnF6NiT0GrGqMY7U9L/RgMC/l9uiOPJM/
0uA0dbKP6ZGRfGNnbtujh0XzsPu/7CaLUiRsiBa2RqdTv2EuTvmH1oO1IpY6xYYE
BNGCoaGwEEb9WN9rHS/8W3qVbmU8mWcdDlB/jYyzHTvJSP6Fw+c21SIyPzKVnxEo
shlCilwdcyfvHuaWSHscaMnZFCv2iNxu97v1p4BkH5LiF5Zx2doVOtOUl9MpM4aG
V8KszueIkB4pUDhPLX/KCy1/QjQ7nLWy4vR84M2kYzV3putDMzLixmMolQN4ok7T
YOLSN7GZU4Ahtjk/+xNu/NYxm8DRaB9ksa41IgXaijgRvXQ8Pz79MQ+fINsK2tmc
I8Hc9wSeVClSiwR5u6hzFnGzaXryNUKvnird8d4csugZuyCx63N5RRXjRoYi9f8E
Y6pg1ce/SVJzRyoANoOie6/9VgQ8Hj7c/Rbl6NCqayaF9YkF3DuYzgHGZqNzGxqG
4T600EJ4zTDVE3nojjZC
=ZWTG
-----END PGP SIGNATURE-----
