-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 11 Oct 2021 12:19:41 +0000 Source: acl2 Architecture: source Version: 8.3dfsg-4 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> Changes: acl2 (8.3dfsg-4) unstable; urgency=medium . * Source only upload to allow testing migration Checksums-Sha1: 24868ecf3922f53eba669338776ee2f21965e6e4 2281 acl2_8.3dfsg-4.dsc a5400b6b8c7c66407c88a7229352c62456b15de5 262612 acl2_8.3dfsg-4.debian.tar.xz eccd97d08c83a14fc455a8f206941b2167d04b04 8066 acl2_8.3dfsg-4_source.buildinfo Checksums-Sha256: 72bb40d4462f8857fb418c833bfe124cd265a3abc3a8b95a188a43ff1ae0ff20 2281 acl2_8.3dfsg-4.dsc df309a06591b1035fd949319ac9d4c16c712ef5c4f5e1826ebe568228bbc3555 262612 acl2_8.3dfsg-4.debian.tar.xz afe21caaed64ed6db272e6a0bb2dc78305276322eb23695a2789b9ae9db90cd1 8066 acl2_8.3dfsg-4_source.buildinfo Files: bb7dfbe35e88ede9fa2969aad0891c31 2281 math optional acl2_8.3dfsg-4.dsc c50a909e3be1d458eb83ebbba2ea2f69 262612 math optional acl2_8.3dfsg-4.debian.tar.xz e48f88898efa3ded4a6b19108c3778ea 8066 math optional acl2_8.3dfsg-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmFkLFgACgkQuEXOUQ+b cU2LmQ//UGkKHgfjJb3pmT31bX79OVFbEfkcls0j5MLl6d3XOXFcZBaCgA0sP6NU 7yaU6dCz8eTicxqsK0Ut3FTUtdG2ikzlFAoSiKKEeYi+DkkMAmXcjPW8wxcHuban hgDVJ6w6002OZbcoyARNlx/JwyWaQqAnGCh8mfUK7O9YihmE1/8a7N9Sfd075Nzt KBxPMCZpOGSEzNat41sW+2AvC8oyaYzDas9171FGTXiMlkev3prm9d50sdEbpEMX WVy5US0CBmveUNW4Vi3N3IIkyC/bZEg453x0hoZF0PWk6YXYnxVDg//Abp0DCxKH uQEh31+aI65KwLj2I9wsKzGpd933CFr2doauO1NdSpzARz6Q6aq6ghcM7BtseCCY g5wcu6jXOJWworfCdn+1F+MBPOeJTcLOm0YiSDT7sjxr9d/nbK/ZsZ9swA2w5T9m vymKp5zLIy4lDaJA8PZ6qKG98j92UGwXWXm0/oWXsn5+fKso8G6ftgBo/T+bIYd3 1//H5XIabi7UOcL6uUXPfnScvafKMktonjE+rZBq5ddhB6msKzHwxahuKTm1BLhn k4pT1ZxUAXdx258ZvyW1WHa6jxvR291hRTtBzJkttYT5c9b735O4QwBN4Z7oAihp Ex+60anACFKCTPXijbLpiTJ7Iyv+6fwRVgAO4OBRRQhvcvY0DTw= =MO67 -----END PGP SIGNATURE-----
