Accepted gringo 5.3.0-12 (source) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 11 Mar 2020 07:31:40 -0400
Source: gringo
Architecture: source
Version: 5.3.0-12
Distribution: experimental
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Changes:
gringo (5.3.0-12) experimental; urgency=medium
.
* debian/symbols: fix symbols for g++-9 >= 9.2.0
* debian/{rules,install}: drop libatomic hacks, stop confusing build
target with build directory
* debian/patches: refresh python3.8-compat and gringo-python37-async
* link-libatomic-check.patch: add libatomic checks to CMakeLists.txt
Checksums-Sha1:
c7309d20491698c12c53b0f500a556cfe5c3022b 2149 gringo_5.3.0-12.dsc
88c710ca2637eb0e88e6d82947a13e56dfc9247d 19776 gringo_5.3.0-12.debian.tar.xz
6d45f2b0e246844cdebbeda8ff366d70f940f5ac 8299 gringo_5.3.0-12_amd64.buildinfo
Checksums-Sha256:
341f6cb3a95cab35689f7fd0bb4fa0a964468e9419662c52e54c60f4d5ee1921 2149 gringo_5.3.0-12.dsc
a6fdb9f1ffa6c8c0762d3966c19133cd02e859fb8d670bd21a5d1f4efcec5cc3 19776 gringo_5.3.0-12.debian.tar.xz
78e90f7af9ec015d7c4a0432c8a4b740578dfab02f73504a9514071c09243194 8299 gringo_5.3.0-12_amd64.buildinfo
Files:
ae30daf78c12130bfa71aa5c525bac3d 2149 interpreters optional gringo_5.3.0-12.dsc
34d9c0914ef9ed8d1d68e09e41eefce0 19776 interpreters optional gringo_5.3.0-12.debian.tar.xz
63ea712a529398d84abf7be145900d90 8299 interpreters optional gringo_5.3.0-12_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAl5o3vQACgkQJ5ffdKZm
mqkoqBAAiqYjUFtbU1tYTgaWvlxFgOFYfdrPU9oRjWd8GTgEyQdOvap2muWk27/+
acNBRhOzavM+RNONRD9nS9O/gWdoD9wPVdufaaRTcfJ9+h7yLTHOyX1rgb5KDt0/
Qr4qSc4oIxwunM5innJZWNmkXMq8lhxNQAcLVhBLh91X+p0klecCXkAQyTxsE3XW
e6r9Lqv7DEN9U66WqH2hiMx22oP6r1BYjahH2tjpi7v/EVrT5HjqVAwLd7qPBxbm
uPkkuKIMT7UkGALwl4kvqU88+9PIS37Ms/8RPY0VIms+Q4FuutnlJsaF3zWkpAFr
sMECe8WDvO/uLfQ9LTMPmHS4COVcg60G039Kfq1QH9jHPyJqHQunFlBJIg9wPHa+
hk1l77fykexGzwA25nuVE/GqcSqV+7nyhpAnNQlaYumLnA8Z4TkoG2L9y+XwnPc4
3LPZ4K6i+I4i75Ekk6NShQbPT3BYrf7SOIAMJJiD6sWpA+AXopDXTgPWb8rusRps
Jby7eLAYfNhEwy8PmH94CWu+0iaDHtBxM61YerjjiQ0veYOAEVsNhtXY79TaSIYl
aRyzCIszs04AaM+15Yymm2gcl2YmQ+4HA/nAitNBMDSA6C4jkcqtsOUNb+0NkE+R
Wp7IHHk2qIB2T8ePvWSTDmVxjbbwaDelVDmYmsAMyIxTCxpyRiU=
=BZRz
-----END PGP SIGNATURE-----