-----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-----