Accepted acl2 8.3dfsg-4 (source) into unstable
-----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-----
Reply to: