-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Nov 2018 16:03:57 +0100
Source: clasp
Binary: clasp
Architecture: source
Version: 3.3.4-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:
clasp - conflict-driven nogood learning answer set solver
Changes:
clasp (3.3.4-2) unstable; urgency=medium
.
* debian/control: bump Standards-Version to 4.2.1
* Fix reproducible builds FTBFS
- debian/control: Build-Depends on g++-8
- debian/rules: force g++-8
Checksums-Sha1:
a11d36cdeb583c95d75fe281c533044fe4080da4 2009 clasp_3.3.4-2.dsc
f5d45bf009e75155dbc3d8dde43064d0a30f515c 7880 clasp_3.3.4-2.debian.tar.xz
670c41a6edd564de49ca95807f876fd46474cec7 7665 clasp_3.3.4-2_amd64.buildinfo
Checksums-Sha256:
1cea5a4d70fc48fa3969550decc724cd8c2570cdfd0fd2f02557d52327929d1e 2009 clasp_3.3.4-2.dsc
81872b995ffaf947fa885d699ceafe6f2bd707d453215255c7251383db8cb859 7880 clasp_3.3.4-2.debian.tar.xz
c4f467bfcafd2688e8315fe0668d32eaf6a7adf6ac972c55b36873a41e961d41 7665 clasp_3.3.4-2_amd64.buildinfo
Files:
7a828c12252f6f5d566ac12f1359ef66 2009 interpreters optional clasp_3.3.4-2.dsc
b628289533f8b4562f481132e2566b93 7880 interpreters optional clasp_3.3.4-2.debian.tar.xz
ef4cc4ff3798d8c1f29b66effcda2d33 7665 interpreters optional clasp_3.3.4-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlvfDsAACgkQJ5ffdKZm
mqm9ZRAAgG6PAPOWR26AeOFTxT2MGLnPZsf42X9cRn/WdpdeE0trOeGrFqtWQbkb
AM0nQyHOJeT6f2Z7Chf6UjqRu81ugfUiVqAHsb96YS83mHzyaoRhzdccC0e0wm1r
WG0V7yVQCEGX6lnC0Ki8hPcxUayMXHHV83f1Y4OvIR/Ce3Uej5JjaL5Gi4HmRR22
nMjZfMGqv9r39ZICBxK1bGN48QcadDevu/2/ND88EHFNMc0giIrhih67sn7Trbtp
ylVnTZ3B7n4nAMyJA/7WVS/wCpPVvMqGiPEp/98F7ZWn8iH7GlfmrCUWVI/qXFWK
KZz++Ulpk0qxO+RjlrWbkmXoqLWZTEoJFDSA+YDXgjw7ha3hU+EdxurGn+lKxSmM
ucAfLpHz1JSCxEttfwu03QU3BjZhbtqcKOspmCvfa3Z3GSA3ApqM6DpzZHqLNptB
OV698KoGgFCwtMAs9Iv705p9DCyXOAoP53/C8eWnpDNg3D3nPZMUXVbApfqaWp5x
g+lQGghznM1QZyVWvRlDXSfMiCTiGFBTKTzWdlhUUet4JwDAO8o4+puQzQHIcnRM
SaIQVJ+t+piztuySTSNuB1LlPJ7cPEJ113dYmFSKF6XAksWcjxijrBZjNkRRnLPe
YxJBucAsqSDmOr/KwZYHWV+UrPwQ+tjYM8h0AB0cxZnJk7NGhos=
=zUgw
-----END PGP SIGNATURE-----
