Accepted acl2 8.3dfsg-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 22 Aug 2020 14:29:22 +0000
Source: acl2
Architecture: source
Version: 8.3dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
acl2 (8.3dfsg-1) unstable; urgency=medium
.
* New upstream release
Checksums-Sha1:
3b3a0cbf3ec834052ce9da5e67af94fa079369ba 2250 acl2_8.3dfsg-1.dsc
7853ff0012ff1c265599756cf943691d3a05c4fb 117260902 acl2_8.3dfsg.orig.tar.gz
26aa912c0f639edd2e0d7d7904102881946456d9 205984 acl2_8.3dfsg-1.debian.tar.xz
4277fdb2297f4391699be489ae296ee4298cfc74 8351 acl2_8.3dfsg-1_source.buildinfo
Checksums-Sha256:
7d2b813405e4255865167ffa422d97760eee3926ffe9ffcabd4f7ce51727fa8b 2250 acl2_8.3dfsg-1.dsc
e7322a6e842f862ae25a65cda43040828fe0ded725f4c45bcb04ae07ae492aee 117260902 acl2_8.3dfsg.orig.tar.gz
ac7a3f7547564d050a79fe8feac7751caa943a698f55019f9374d79d89bea9eb 205984 acl2_8.3dfsg-1.debian.tar.xz
b9ab72afb16111cd441ae330ae799b040bcb0181770466d805e30b3800833884 8351 acl2_8.3dfsg-1_source.buildinfo
Files:
07188e1e2156173370870042ccd45077 2250 math optional acl2_8.3dfsg-1.dsc
c7205f24ed678a7a20282a95e3173fb8 117260902 math optional acl2_8.3dfsg.orig.tar.gz
edbc703d06451ccd787946d0c05ac9e1 205984 math optional acl2_8.3dfsg-1.debian.tar.xz
ec186f8152d9c56157c0ffd956750cde 8351 math optional acl2_8.3dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAl9CsAcACgkQuEXOUQ+b
cU33Uw/+Mk+srwsU4To2ht3jwdBUSxSqAv4ASE8UUhbj3IadBtyznlvqveOSay7Q
D3KQm/WBAoFKmK6hkXOydEFt5GPwJ3blC2KOBYEEmZL5AMtMGeUMYpWewEvZfylY
8oHzT/Vo+XaYJmAstNPDnz9NvFHOpAtbY5r8HE1DDh4P7AADoLQ3ai+QdmKAKoDK
O9G3fbsqNVHLhzI2r6TSm8Gr8ID1A3xnPGzplI0wscntr6I+VPv4/emhCldrrgLI
WvCfjqJZ7pPj6GTLgBRFOji/DrcLVZvHxdJKtO0F+qKmh0S0/O3bgu9zniDqGouG
jUV5MlGDLitWTLH+PxHQ6RrTBRPztxjnAwz18ESIEMUf7EYC9sBpNADt5qca9pmt
pnhFNG2L8riV526kUDQzDEV5JeDRQdWnblGPTTOe1jLF98wk5jgJw8GAEuDmTTRG
X4w7heabFwQs0hNasOyobBGwD3c7lQbbzOMqhQ0rVcRHi/n8RDmX8xCNRLjyk6AY
OSLNj2OpGcaUx/RNcGrSlDDeOkSC/Q3s+RbQtqXTm6o5N52/eD3mHP3pLuPuS6Ue
aeGv+CCe/u1xgR8rgfZlN0xZLxe6Jx6i2VHRJ0zZtUzfx0/JjkSyI0/2EtgSWpJS
fIw/tNucmcPZc9j9NlV48jUtFZ1U2D1d6LV5xpHqZjZyxlnJpBQ=
=nz06
-----END PGP SIGNATURE-----