-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 08 Dec 2019 15:13:52 +0000 Source: acl2 Architecture: source Version: 8.1dfsg-5 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> Closes: 944222 Changes: acl2 (8.1dfsg-5) unstable; urgency=medium . * build-dep gcl ( >= 2.6.12-89) * Bug fix: "acl2 - FTBFS on ppc64el - invalid Unknown reloc type 31", thanks to thierry.fauck@fr.ibm.com</a>; (Closes: #944222). Checksums-Sha1: 1b0ed6cc732c342742fab1a86aa287d65531ca10 2247 acl2_8.1dfsg-5.dsc 8d43c977dced67ba96403a578b0d4e5949b414c8 205324 acl2_8.1dfsg-5.debian.tar.xz 312182f0f277eb8e1bf56eef64450573017118ae 8366 acl2_8.1dfsg-5_source.buildinfo Checksums-Sha256: 3537654ec77bd8b04f8160b74f22b4200293a3125a31e7c3fa2e8357d5820482 2247 acl2_8.1dfsg-5.dsc c78b064e48bb9d6d35f6f5af2b962947f1d59e48894c0c3349271efb48946344 205324 acl2_8.1dfsg-5.debian.tar.xz ae59f6537fabb250946d2606e41af75ec11ddf1d5f05ee34fe3bd5dbdbf4fcf6 8366 acl2_8.1dfsg-5_source.buildinfo Files: 4868db5887e29ec9603314b387bdee27 2247 math optional acl2_8.1dfsg-5.dsc 45a241cdb8f74074a658e32d2bb5b71f 205324 math optional acl2_8.1dfsg-5.debian.tar.xz da86b81f8e8f35e19d4ad95ceb62b8ca 8366 math optional acl2_8.1dfsg-5_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAl3tHl8ACgkQuEXOUQ+b cU2pJw//VIIEbSDAbJ6vMAC74JiAd+NJPQUBVLhyZrIqfBRB9LDrA7b9tcutuBvO x9iLJ6JXy5FF6oeeDAhEekgCpBNSr4VloWjQJ18ecO7H2aGsramodHgKscj9sywh zbMHNQ6Yx1Ol5Xf46ZALJlzSG3zwNERPahHac9lcGY1fGe2avIzE74RdyAKDlsZv 2LCFeWYp5zTqSYSGcr93Dlal09Xjnw6cmoWXhqkH2l5Y1au3/wutjVRBdFyk6IBr H6AN7MgjXR8N3Qa12PEPDWucY06V51XIrc18xLJr4K+LwvHx+KZToiZLq8tJXU7N g+QOZrga98e7zj08+VcJ7OqAJqNjdDLfwJAFtWu8pFv7l2xm0gaHa8MCgdgW+LB2 6IZy+ONQnhH0kmHUyNKVr+fXkXoWt3qtqdtmy6VgD/90SlV5qaM8quK582hZrGLM eXylJ164w0M/8D0oz8Xq5haxxOMI6ic/8lqU1zhihVgF23uzKBTA9mfTw+Kh5J4T Wd3pTUkUhBzBFDZWEVZ4ser4Uvdr4QXIBVfsY03cKI2VaV/z41ku6KlRGG6wEdnl fY5mYgsj5m2Nj3e8QD1W7rm8lHqj/QVBwWCcE/8FQqpvUbq+ZTJTO5ODG9BShlxF Ft+bewPmE+5xF4QN2dTt1GKY5UOIt+1mCYo2Lbb+9bYmI6RqSLE= =taGO -----END PGP SIGNATURE-----
