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