Accepted alt-ergo 1.30+dfsg1-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 13 Nov 2018 20:43:44 +0100
Source: alt-ergo
Binary: alt-ergo
Architecture: source
Version: 1.30+dfsg1-2
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+dfsg1-2) unstable; urgency=medium
.
* Since lablgtk2 does no longer build liblablgtksourceview2-ocaml-dev:
- d/rules: stop building gui
- drop build-dependencies on liblablgtk2-gnome-ocaml-dev and
liblablgtksourceview2-ocaml-dev
- drop mention of gui from the package description
- added d/NEWS entry about this
* Vcs-{Browser,Git}: switch to salsa
* d/watch: minor fix
* Standards-Version 4.2.1 (no change)
Checksums-Sha1:
2d465bd192784d93f970f8c7a733e6b519981e0c 2142 alt-ergo_1.30+dfsg1-2.dsc
41de5175e998a90d40ca39b01bd67d4d50019d06 14808 alt-ergo_1.30+dfsg1-2.debian.tar.xz
e5cc2938f0751a93d2d435aabbdbaa96f90609c5 6256 alt-ergo_1.30+dfsg1-2_source.buildinfo
Checksums-Sha256:
2e9e5415730067577aad51c4f095452c91d06e84d9a0724a22bd5ab3f7126b9e 2142 alt-ergo_1.30+dfsg1-2.dsc
29231440e27300b216946669d5be9e783dfe78fba0cab4f6785114efa8fcda0c 14808 alt-ergo_1.30+dfsg1-2.debian.tar.xz
be7d77e9c978f3fe01c6ec740896efcd1f381f4917ec87755a5bd48c431a119a 6256 alt-ergo_1.30+dfsg1-2_source.buildinfo
Files:
75b08052cac2e2589b366ad2877d54a4 2142 math optional alt-ergo_1.30+dfsg1-2.dsc
740b7c0fadd46f40c1be03980a99132e 14808 math optional alt-ergo_1.30+dfsg1-2.debian.tar.xz
43b860878fc0007c54274f93e117f5df 6256 math optional alt-ergo_1.30+dfsg1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlvrK5UACgkQdFxHZtTK
zf+bww//X0Vn0HsHwk5wMrBIMwEZWnzUPRVvAmW10zEhhriY2Kh1SY6U8VO0YTjJ
q52/DtpanlPB2uI/gjPJuW25NAOkD4PN6mxS+XmI9ivzyjAU69JF+1OAN3f8Afxe
nbbtBWCVGbf/qsk8OISyyzV6HuRMb2XlP5UVijs/A8suPwOHxpsS/drK7NA1/fnk
6UKVBhkoa6RWl5fF/wPaVNadUOtbmhtWDrTlzpkXr9kl93mPXw6jlxD0J6NCbjeG
zAk+gfu9skmWQLNRVKU3xjgbgNw/nMMmQEZvirDTsG5xYLBDtMUM+wXncwuf6ilx
cIR7pF/ghquReZN+YjBNY9JuBlgwQd66rKzeJpwZRWEKrUxBpA77g14Uw8DVwJ38
vMaCMf5lFyZ4ti19VjVEPc6EZeX9CEurT0RLuyVQxNPk4EKDS+sP5KbVHOJPE3fH
5FntFIqJE3ivw2z85av0OQXw4weZy7jGtIxBX02EEoQItUXrm8ulK8+uT6GwAdCu
2S3o3xLJ2bRDV53da5y4Fr5acTcFy8JvbNXYF2//t9NZKciszOCnm7TgLdNPT298
l76MWFnne3b1cq8Enacg+913i69d1jFeE5WPGbut1bR7CLpm23mmzIpdG0qjxz0w
vD5dqsdYfrwod7ApyEijQYy6hYKxGApZJo2XCINm9ThCREXja74=
=ueMi
-----END PGP SIGNATURE-----