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