Accepted acl2 8.2dfsg-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 19 Dec 2019 15:30:07 +0000
Source: acl2
Architecture: source
Version: 8.2dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
acl2 (8.2dfsg-1) unstable; urgency=medium
.
* New upstream release
* build-dep latest gcl
Checksums-Sha1:
c97dca7bfc7ea37769bcc04a734f36641b1f9068 2247 acl2_8.2dfsg-1.dsc
148b86468f6494a82d9d040b6d91fed1a5666220 80652725 acl2_8.2dfsg.orig.tar.gz
fafb501a9567823a482e2b5adbfd6ddcee367647 205408 acl2_8.2dfsg-1.debian.tar.xz
76861e97eac85bd2fdb5788fc49db246f0fa47c5 8423 acl2_8.2dfsg-1_source.buildinfo
Checksums-Sha256:
2899df1e113405ede6cdb1992dd3ef24ad6151f32fd0d80c3b91bd02af553959 2247 acl2_8.2dfsg-1.dsc
2548331764e904e00d654b5d703b6e0b43992a1716a40fd8f5ac322052cef987 80652725 acl2_8.2dfsg.orig.tar.gz
e8b192e473d8845e620305b9c597cd6be7396c8ae851c0e4066ef89c752a8922 205408 acl2_8.2dfsg-1.debian.tar.xz
83f6512fb8c81cfad011ca34cb18baf7c5008975ac23c1f198470eaf5a1cf66d 8423 acl2_8.2dfsg-1_source.buildinfo
Files:
12ba2c8044f2e13e502240719b7f3fbe 2247 math optional acl2_8.2dfsg-1.dsc
4bd6052c4c4ce3a7cafff83413c7049c 80652725 math optional acl2_8.2dfsg.orig.tar.gz
bac6c5e04fdd76c325f4077714065caa 205408 math optional acl2_8.2dfsg-1.debian.tar.xz
7fdef20d65a6d248562b440494af7e93 8423 math optional acl2_8.2dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAl37rE4ACgkQuEXOUQ+b
cU1u7RAAiim+FghefDD22r0LSpcXY9gXU0IjrEGqwCp6NcE3zdpJ3w6KsFjlGYER
4PIqjGlz+C1m4nif4PaPAP6MD5XD7v3EICImVUuvNzFnOo0rzIPr3yj24rxWJfRd
rxGk7mFPWSJ22FafUsksNFJdi4CbRgCDqJ/4rPEfSV9r+nef/2sJgJe6fo4FWMat
70xK+pNi13F58XclMWySszwwrfdTIfWvmcIC/qW+RLZNfZc2DWSDf3GZuBWHoT0B
SYA40cuuMpakmuehbdphQ1WbhyDQItu9a87Rj5aIBVfUkSCB529W9D3ErHdKgtNO
CnzbgtGcM41CEWNU7mR2EbDlyHmt6hjcmAXQA5vl7LBmgpLrMOcscpC2dnCoCBdu
N8QSDfjbBE248wsoylTLrrvIZK1xi1YfM5CEw1D74qAAaVByHNoRB5wDxzO75S7G
kMXXIM0sY7myk4XH29FIyskkNY6dtcZGOFUVMnMgxTVUIU53//JBVf8wxsxtNstC
ZXxabF60uw3ZVXF65zdA6aZOCyoTCMYpGJdFSlJeiK+qLWqoGP7EJfdhsrPHLqh8
66Rdvz5l4/UEDk0/cScCi5O9+45IqphqquRhdEHEKBfvem/tszf9nfUHJ+QzKeMh
B0fZZUd+X2ibqlPqEFap9bf0AA7kPbEpllIntyw7Q6SDkbt3dQE=
=qUw0
-----END PGP SIGNATURE-----