-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 03 Feb 2018 15:17:29 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.2.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
gringo - grounding tools for (disjunctive) logic programs
Changes:
gringo (5.2.2-2) unstable; urgency=medium
.
* update debian/control and debian/compat
+ update Vcs-Git and Vcs-Browser for salsa
+ bump Standards-Version to 4.1.3
+ bump debhelper compatibility version to 11
* debian/symbols: update amd64 symbols
Checksums-Sha1:
7de894f5c02ac18303967aadc4b09984ae57e7a2 2038 gringo_5.2.2-2.dsc
0c3ea78a32ed4397c9ff801d1542ba8a7c93fdea 12432 gringo_5.2.2-2.debian.tar.xz
21ff6e5b37703ada3441e164b75637d278df44c4 7898 gringo_5.2.2-2_amd64.buildinfo
Checksums-Sha256:
fe3a5e0770451df36f80c18e46388c5d929dc5ddfd35cc0c185cb175e1a1ad66 2038 gringo_5.2.2-2.dsc
ea68d3a78949929f3cddbd2bb3327c9b89cc884864e830d59b9d9c58d5103456 12432 gringo_5.2.2-2.debian.tar.xz
36fe9b9f2e970c18c4d1286f68f886ba444a398a3424625240f82c7a5f434752 7898 gringo_5.2.2-2_amd64.buildinfo
Files:
ef578e1ef6ea0b49a93597bd45b4386f 2038 interpreters optional gringo_5.2.2-2.dsc
d4e8bc8d35a98b092dab94dd8a0268ad 12432 interpreters optional gringo_5.2.2-2.debian.tar.xz
e966c106560d375a07720338b686dc3c 7898 interpreters optional gringo_5.2.2-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp1x3EACgkQJ5ffdKZm
mqnI6g//b5peW/KbVL7j9k86fnRvdY056sqGtaouvtlaST20JYxgdk4suEX7EO0B
SWgufhC9yZHJSrnnAqMCJXIov03Px55C5TorNI2lDkBmMM9AKhMhY9S/9LPngt+n
nan9K3MWYDSm8SxCMkGNJYN/pLa3VCEiwY6hcdl4prLsbtT0eFBWI8vFawKFVbFN
y9fLGCPNyN2yk/c29MFV0cRqeQxN4HcbDOKYO2k7jh2O4O0AgMzEAGnnn+KJwJZg
wUkHdTvemKgDOjymITPJBY+RHoJBhk8XQTM+AaJlMhBas3ZG7+/FY7SYyJ6Y34zs
bSqcyT0/iikO9lVExR480ltCxHSWjdIzfXvmqVYp96R6RatRdigGh34KS4UwbmSz
uDG+MrRDrIGKG0lG0bSxRF1AnUjNaEcC84IB8dygWCHwjlucPRxVtjSeOxpvK0hO
chMix8ZeUPib7DcBCucZtQ90JFTwbTGL49lsKCWWw3E7rgB540hV5OIjSQKH4imk
wgSroolMgUiNcygydpRc1cCvstOalUj41VASa7XE8E+WWRzfmci2fldE9Oj0HBdS
7ANSBqzsG25RiskRrhUEtg4nixLsqR21EHrKRwRRuOG9AI6Grxm+pVHFhPGMgmrf
1z88EoU9u0gGkxQAT5cUU9WNawhZ8mFEmpLGr8X7Vyd86XrhJIs=
=gXom
-----END PGP SIGNATURE-----
