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