Accepted acl2 8.2dfsg-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 27 Dec 2019 15:15:44 +0000
Source: acl2
Architecture: source
Version: 8.2dfsg-3
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
acl2 (8.2dfsg-3) unstable; urgency=medium
.
* revert -2, set *split-files* to 100000 instead
Checksums-Sha1:
67e72970b930a7141cad70a765277751774bd137 2247 acl2_8.2dfsg-3.dsc
fc6feb294cac7138f7b69c6462d24ed8565814ef 205976 acl2_8.2dfsg-3.debian.tar.xz
46f4697089438b92d9747cf559e521cb0b1ed401 8419 acl2_8.2dfsg-3_source.buildinfo
Checksums-Sha256:
0b3ca37871788b0eb94e095fa052f77d5153d6e26805bc79058c52998eea1bd2 2247 acl2_8.2dfsg-3.dsc
75864706cb9645c6d1eeeb2c031ab5765e9fb01ef5bb40b9ec96cd66b32fae62 205976 acl2_8.2dfsg-3.debian.tar.xz
771bd1d934b2daa4ce26d620561f93fc6c91235e31e45374ee3ea33fb627e6a3 8419 acl2_8.2dfsg-3_source.buildinfo
Files:
d325d3146b7bbec9dba3969bb714d988 2247 math optional acl2_8.2dfsg-3.dsc
3fc60f60b888eb6ec0484040b804e2b0 205976 math optional acl2_8.2dfsg-3.debian.tar.xz
8709189c2a10b52c04924acda0964dbf 8419 math optional acl2_8.2dfsg-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAl4Kqh8ACgkQuEXOUQ+b
cU2t3Q/+JGn7pUPXY5/A/YDRJHq+vCfM4wZMEZpgbezYtGZ/KwmW/POnEDAWXlM3
MmkbBKW1hpz8eeK067w3qzNa9WhvVL7CZAE8M0/Vo3UYk0TWU+EnKjt/ayYVUeMC
1tTT7sltoOyd6rtf823SCo5iwH0JvfZacoEiQPXNsnrKky2npoe70Cc970zSfa32
CgIDKvAo/dIthQGBSREhyiDLsYTU6NHqheKaf3ML9v/u697M0T6QuwQ6aqkSRNYz
KR9yNS2bPiJ63nw39TaVR4V3YF8vrZBr4o2dI7L/mjCFUcxSEd7sA22JurBz/cDi
ENn89jFLvqnCRRoAejGRpbPPHoSOiDL+SNycE3H45UUTFcOJx6ELTHWY5anop6AC
ZvEk2XtHLYgoMbt39CtenyDf6ypnSpxcDnO5ZkCjrZUMbr7SoykZ7WR9C/vQ7hez
LP9LmDBghKP9k/DeLRxMX9zPTLImGiOXR+a4vPFTJ+voXf7hvWD7Jgn9hiJPVyMf
un3Bg56wpg9dRmbimJOKubqkU3RWz8sZS0jc1IYgwZymCfSn1IVZVy5DmlzZ1bAI
wG9acSDPqBCW8j9IPllYUtPGns0ldjDtPl34SiezaH+kbfItb7oqL1CVDut/iw46
wsw0wsqbXCBywM1fD7IWVspxE73oBcy7/TLF0Oy5H1NJCRWLZ3g=
=oPn1
-----END PGP SIGNATURE-----