-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 28 Feb 2019 05:25:47 +0100 Source: gringo Architecture: source Version: 5.3.0-8 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-8) experimental; urgency=medium . * debian/symbols: fix symbols Checksums-Sha1: 18a745459accfeaef18f3001cbe71356fe9de5e8 2096 gringo_5.3.0-8.dsc 4f007e90bf5fc6371a23c1aaa2916fc372e61819 18464 gringo_5.3.0-8.debian.tar.xz 7b1d3440f8934cee1734245eb6e25594f83862de 7765 gringo_5.3.0-8_amd64.buildinfo Checksums-Sha256: 0e8342c8427b4482c97c4a8e60b36789968ba7fda2984fd13af12354822e1791 2096 gringo_5.3.0-8.dsc ba5a65263a3d5ed3663a31c56ae86ef773f7253a65454fe4a63a70cdb2ee4177 18464 gringo_5.3.0-8.debian.tar.xz ecce9158adf985b06062600d3f947e58627a31f9545f6050d5b875f5097ba511 7765 gringo_5.3.0-8_amd64.buildinfo Files: 72e1f8f92cad9547140c367fbb55c7d8 2096 interpreters optional gringo_5.3.0-8.dsc 353947615797b967152bb159ee3b05c4 18464 interpreters optional gringo_5.3.0-8.debian.tar.xz d24f8b00380d6f6bab99d66e4d68d8c6 7765 interpreters optional gringo_5.3.0-8_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlx3ZysACgkQJ5ffdKZm mqnIRQ/+Oo1SxPlbryQnEa6EgBmVDhFa+HO8d670mM+kO1G4hHDHTax/m52lNSfX cJlIm/rvZAAP1YyyW3KaGkYz9lp4DV7LS7C2BccTjT6oxN63uuCFFaG0Sy8uEzqS j8hotLqytvLvOXnnww6oCSmJRqePdbQVZ11o30ZcAaCovubQXTTCCQXhIE++Xbex +nW492QuUvmwwGhyVLDJX8YyA14AyePSRhPf0Xczgcf7fXcZDm9esxo5725qZgUT 8Fu/UForSYx4zSGnSAYtWWgmI/DJ/2/Xp/MHNgGS5sAW5EoZ2y/OxvD6PGCivHhv ylmD/e6Qekt+3NLqhG4rQOwF2OrEoxI2Gx1KuhhbahXkJabtTDMj/c1+KEtz+UCk p757W/EfBzFF2IEManjBvQs7RnizFreceb2OkIHRvBTlcrpjISKCBDrcLZ35ThJM 7v2eW2GfyPeaAgEHhMzEI7TyX7z/+PZXoNVIbtD6jU2/bPBInn8QlOTibdOVG3nV j+fzQTkeyLjjgiU7Zz6Qrw6/uBLSuthl3o/r3N9e9frn9XC+hWQBCuGmMYRD1OxC IYbRoGrKNl5mhR1VR58B/IKcM9tmgmD5abO0jtINfELDSjOdUn52w1rqkqNT/k7w T8uhFYcKgomC1h5Rwt1cCXDVfk8CZX2YXqUrsSprhwoJ/kDdI3k= =RfqX -----END PGP SIGNATURE-----
