-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Feb 2018 21:35:05 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.2.2-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at>
Description:
gringo - grounding tools for (disjunctive) logic programs
Changes:
gringo (5.2.2-4) unstable; urgency=medium
.
* setup build environment for python3
+ debian/control: setup Build-Depends for python3
+ debian/rules: force PYTHON_EXECUTABLE to /usr/bin/python3
* FTBFS: dh_auto_test needs LD_LIBRARY_PATH for libclingo
Checksums-Sha1:
0b19e7c068ce9fddb824cd30481a6c15fb12997e 2068 gringo_5.2.2-4.dsc
3485273dcbe3abb6fa56141caebe72cde392b520 13424 gringo_5.2.2-4.debian.tar.xz
76e8d97558b4c3686ac07aad52f4e6ba905bc252 7854 gringo_5.2.2-4_amd64.buildinfo
Checksums-Sha256:
0b50a5af8a38bb9cbc0a533e1485649172455dc76c00a59bb75309c9c5e8c18f 2068
gringo_5.2.2-4.dsc
715472b6e94c080c9600bfb79aeb670d7d9ad985036dd1d96e92214b1e852578 13424
gringo_5.2.2-4.debian.tar.xz
511fd739bd356760da8232202f6ac3d69eb8989624ae4220642d557e1f4105e7 7854
gringo_5.2.2-4_amd64.buildinfo
Files:
1edee4041eea25a9220cce487b55fcc0 2068 interpreters optional gringo_5.2.2-4.dsc
59a490c0881aa018ea29de5c5d45ed81 13424 interpreters optional
gringo_5.2.2-4.debian.tar.xz
75386b04a228919843883e6250645e6c 7854 interpreters optional
gringo_5.2.2-4_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp3c8oACgkQJ5ffdKZm
mql4Hw//dltRsa/DLU7PTZIY/0szHGyI8McCPOHVd3RkC/P8GWtTtVhaYRzlTJD1
X1fLITpqk1X9n0wlRqWzx2Hp54usmE6/VrsdDXb4q0qBckDFmOxrO69rROFENEnD
LsWRPGSlqKDoi9tDv1b/eVJPmzqlPzbeCqkm+1ld279md+Oz2eKL/okXJ0T5M20z
tJNdQ1pFMvjG57vMNQ61ozoDHUYDo9m8/sWs1JNTwheyXhC8B5DJ6+cfqYzdYXZc
6S7nKeKwf1lhEzwihqvJ2eocMfmql3u5wpkYfKg74HSOl7TLzRWW6PirT0mYR8Oc
bnUOYe27CrGxerJcxuWec5NBm8Y2Su5llhPwOkKKdSYFFl21RjAxjR+GzIBT0SL1
81YajW3HKy9UTyb7pGLMBS7HHdvhOtYtAdyGw8HnJPL7yvOun+PCsCkS9+wtX/Zg
M3+7Ec6sETtphv94ORUEI/+fxcJLNuZlFOSXG9ztjVVC6CyYQ6fyJ5soB6fzh2UU
9S66U11KV4qlMBXc3ifM9Ah79XN6Yfs/WF4Qz9gB2SKHtJa19HOzLPhHlg5DA/Gd
3wmLBP3Eg2jNiE7X/ZcdjozxSVD6joLY0HPMDzvihB2r6oxUOfCkeNS+6xx25DMx
uXo2HOxxKnp1y3cyx8G++v43dtfdhnJoFO3ahUGFGlzIGSPqxGU=
=4FwI
-----END PGP SIGNATURE-----
