-----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 <c...@debian.org> Changed-By: Camm Maguire <c...@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-----