Back to gringo PTS page

Accepted gringo 5.4.0-2 (source) into unstable



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