Back to alt-ergo PTS page

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