Accepted alt-ergo 1.30-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 12 Dec 2016 19:58:57 +0100
Source: alt-ergo
Binary: alt-ergo
Architecture: source
Version: 1.30-1
Distribution: unstable
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 (1.30-1) unstable; urgency=medium
.
* new upstream version:
- refreshed patch 0001-dont-activate-debug-flags
- refreshed patch 0002-non-free-dropped
- refreshed patch 0003-allow-set-build-date
- added build-dependency on ocplib-simplex-ocaml-dev, libzip-ocaml-dev,
and ocaml-findlib
* debhelper compatibility level 10:
- bumped build-dependency on debhelper
- bumped value in debian/compat
- debian/rules: sequence before options in dh invocation
* standards-version 3.9.8 (no change)
* debian/control: dropped redundant Testsuite
* updated Vcs-{Git,Browser}
* patch spelling: various upstream spelling errors
Checksums-Sha1:
bc93ed8508ae3170fd01b0ad4be888d78c88607b 2247 alt-ergo_1.30-1.dsc
3bcdb7a66cbcf28903ac7b2db3505c07a05075eb 380329 alt-ergo_1.30.orig.tar.gz
96fe72635cd336eb8b123164379b66b4aff5dc07 14244 alt-ergo_1.30-1.debian.tar.xz
Checksums-Sha256:
da0ffe76cfc2dc2210789ff561d9d22597d8648172b93c22d8acd3595b47ddb7 2247 alt-ergo_1.30-1.dsc
2fd8428323efeafe1f0a92aeaf98242f4668784567a25eac230675451653b708 380329 alt-ergo_1.30.orig.tar.gz
30e35a3b8861dfaad0c535b2711a3c78bcef8292d7f8130c9ff5cc48da7270fa 14244 alt-ergo_1.30-1.debian.tar.xz
Files:
ae68b8adbd0d054363fa14a83e432d44 2247 math optional alt-ergo_1.30-1.dsc
c7100ebd625fbd7d3e5247dbac689748 380329 math optional alt-ergo_1.30.orig.tar.gz
722f5efcc0f4e27866c3e9b94fba7d26 14244 math optional alt-ergo_1.30-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlhO/ZAACgkQdFxHZtTK
zf9ITA/+LxdjkZKtYKam/wo1vHSm5O0RfDPt6jQnnUvAMVntiurCMp/HONyk21vN
esPPMFgDiT/OFFoPsVDPPI8lVbW35A0FeYxeuIyAm7q9SKvg7knMY/LYny0LSeaG
mkmFkJPyx5q7QRufC24dngnrvZURx87l35Fcod2okyJtrqNy87/wiZxmd8vocu5g
k/q71MYhEE5qMiVBhoE/h55TujZY2UL32IvDYhgt/hP56sbyUu+C4yLkQ9MO9uK8
I/+JU8BOF398HqSLo+ypqZ8JlMz3uurr5yFeqnUzGRp2GFS+J+b4Ah3EwhPcGqyZ
ZGqETVx9U+zQ/eVNrhduFCgAHAcH18jNfBLEOqLdEzPWcj0AXFlFHkvVbB06N9eB
j7+neQUwFtG8XtWAo9p96PqNfNRzVw3zLaDMYlsnvsYUpwN6pRQ3VgAWzZExkCPv
+CfpYTfSgfHtCO/JnjvcC36GJva0xnSJmv7Z+yVe24kIbTQByQ0xp0l6QWK8SdLt
olors6NIlx/GOcOcCkYzVy5uYAdiMemLXkkkCG6BuB6xf3r3aioDnvSMhjqsg/vG
qufx4TA3R/r7YX8Pn9ShmAhc2PVMP09cJjRs8NGt6cHY8WH1rOWlzmMUcx335DCB
dhasGA33k/18b1koZiFRQRL28e2lPmfOZcmOR3Vp6g4oNfqCCsQ=
=Eu8X
-----END PGP SIGNATURE-----