Accepted acl2 8.1dfsg-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 31 Oct 2019 17:17:49 +0000
Source: acl2
Architecture: source
Version: 8.1dfsg-4
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Closes: 941641
Changes:
acl2 (8.1dfsg-4) unstable; urgency=medium
.
* source-only upload
* Bug fix: "Build-Depends on emacs25 which has been removed from
unstable/bullseye", thanks to Paul Gevers (Closes: #941641).
Checksums-Sha1:
4f38bae51376a9d2c9a74050725545944940b855 2247 acl2_8.1dfsg-4.dsc
689c6feba87b806832168665e120de26a82789f9 205348 acl2_8.1dfsg-4.debian.tar.xz
0889f90ba27f3e4ef241f80807a48d37f77d0be7 8337 acl2_8.1dfsg-4_source.buildinfo
Checksums-Sha256:
b189350548fab88aa8a2cf0318b76d60d626a1fbc65e38e0613b2202fc55332f 2247 acl2_8.1dfsg-4.dsc
63d8c700489c76347aa855f07d0f59db209dfb7d1604c4f95c3222e063793adf 205348 acl2_8.1dfsg-4.debian.tar.xz
29fb2ab4712c5c6ecbd29dd57eee718b369622db774c9a6bae2dfd87d1d60b27 8337 acl2_8.1dfsg-4_source.buildinfo
Files:
29f4bfe94194d75d152d700a350523f6 2247 math optional acl2_8.1dfsg-4.dsc
18d9e864658af90a3ab3c10245d76541 205348 math optional acl2_8.1dfsg-4.debian.tar.xz
b73ea2d7391e3938192e82b8cbd6b63c 8337 math optional acl2_8.1dfsg-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAl27G3YACgkQuEXOUQ+b
cU1Uaw//Yt5CQ9TUPZKTOdr+xfBwRswUOZd6VgpCZ1gxBkgVzZLr2Bbsg9gZge36
jbnjadDgJ+O1U7d/RVBbArDigipl4sIrffKdCgJzHpiKOzyBY2J3pgUSl6nCsORi
hxtoYKSwn1zSAglkBNA27p1QlhqxZnftrMR1piy5vo62StvEVdqBnCLJpKa+BJyk
j2LBsvWZLE4+Wn8h7D7x6QgxEKIvBnAu4WyMCZj952Db/F3FS9Lu0bOXOEi1oj4X
f7vMBB0fYtMLeZfoCqQzwd/XP/WpZ/Jz56vJ55+KWE05+Cv7Y1alRb72GSaoLIgh
nfm+iRIjb6y5K8j9uf5a6YJKH4D1ngt1Tb9s4REhtAFp37ehSIatTQSauTHZsZl2
/sM9XG5G4kFjczY+422q9zVjxmTOraMEOCsUE/l3c/L4377FwQpYEdxrj7Z6VpOa
iOfykn1tCzI685E85qVA4dBY02kR95O3q5/8xofoT0z+9B0sl6tfP/m6SYkwbam4
sofr7QCGMCgym4lSS6rY9iueOCCQIRpeaWSd/+v2I/EK6LpOVzszVcWEXBI84njP
HDUQvJ8axXIianVZ5LTBwe/EkXN717lrauxgRK9rISk4xZd7Ez3UVvB0lYXPhEp0
VNMoBlmoW+GBTjW6s8jVHC8FTc83h9ZmTk3Q+2v493FsnIC8uAE=
=YyR7
-----END PGP SIGNATURE-----