-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 03 Apr 2020 06:56:49 -0400 Source: gringo Architecture: source Version: 5.4.0-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> Changes: gringo (5.4.0-2) unstable; urgency=medium . * Upload to unstable * debian/symbols: fix symbols for missing architectures Checksums-Sha1: 1c119bbe4117d65fa294b80bc0be4a49bede38a0 2145 gringo_5.4.0-2.dsc 7d4ef0d1fee6b29181418306a9550e710fa03b60 23080 gringo_5.4.0-2.debian.tar.xz e5995889e9da488fe1e971fe8fd1942d60626d2f 8234 gringo_5.4.0-2_amd64.buildinfo Checksums-Sha256: 84afbae54b0787c940b473706ab969944616b59a783c16a90c5a60ee4530ab81 2145 gringo_5.4.0-2.dsc e18dbac4cfa2e3e79ac86626c7e3a25f6057f4398882b5476e4b50adf2f9bfb7 23080 gringo_5.4.0-2.debian.tar.xz 9b51bab612166fc315e077c5255feba7fa2309e394c35d63942bfc2cc2b616b9 8234 gringo_5.4.0-2_amd64.buildinfo Files: 0c35843d643178e040bed5441f303578 2145 interpreters optional gringo_5.4.0-2.dsc 29e0daad59af56ef8a05069bce9babf8 23080 interpreters optional gringo_5.4.0-2.debian.tar.xz 74a0bc9b9af9ce1a24142bbac90636f6 8234 interpreters optional gringo_5.4.0-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAl6ISjgACgkQJ5ffdKZm mqlf1Q//ZV+ImD7W/kVMppVyrxCxitXS8Uzjc2PwAXIJaMFwmbIL0/cTmbTTGW31 0ra+qwy5M/s/AtdBq+MHT6eFM3V1IBPexQ41fjYdr8yBynv+YHfh4tOE/09bkt13 RWHVUe0xv/NK1pEjd6SnWLZLDCTkIW7p58KIU6SkgJvu/pMKzpFon2hxhHRHuWjd C8viiU60Wd3aMeL0kmRrUHceyvEI2uxouuC6q3MKC3N/E5EQhp2+xVgBJUEwhvQA xv51Q78cJPtXSrZARJc/hTAjDj2RPn+1Gx8Nq/3JvB1PKyDBkenGShD/xw8Y4Fsd TYFU9H7LntxMZ1jr79yYBGNvPl85oKuKmJXfApEha+ZtAV7elpZ03r5QKNqZAaJb Hi0m1cvuHd15McQUAE9MTwKzcItcho6A0/NcmuRhTNt3vCTB2zYqgtdpPkfHPJHk BQj7DDJyWCVcsaUuAUE0GQqLtevR0vHFZ5RTbxK2goiFgZ+IfbbW86EbhrWr67Wi 9K/ZqyWWiAYlNlZa2E4Ak6qteyAMqNZCyPCFaPnak9GS+yMk08+lWbjKRdKceyFU 41vGglJYiLoC9QPsnpT1VqOAfHki7/tLrd6rORiqOKOGxkeKLTL6lX3TY5H/HuSR 6rAylq2UHrT9JtDZw28QuVcr+1fhQAXej3LIBUNcdu7WjxvZLYE= =TuRs -----END PGP SIGNATURE-----
