Accepted acl2 8.1dfsg-5 (source) into unstable
-----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-----