-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 09 Dec 2019 14:21:30 +0000 Source: acl2 Architecture: source Version: 8.1dfsg-6 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> Changes: acl2 (8.1dfsg-6) unstable; urgency=medium . * build-dep gcl ( >= 2.6.12-90) * latest standards Checksums-Sha1: e80367a8c72f098345ab50036191715450690a2d 2247 acl2_8.1dfsg-6.dsc fbaed6081cb580f47a8dac9b3b9f39e16645a2fe 205324 acl2_8.1dfsg-6.debian.tar.xz f6ba472f88154c5d59247cc9b79823bf4e31c382 8366 acl2_8.1dfsg-6_source.buildinfo Checksums-Sha256: 45caa7bdbcf6eb3560ad464bb7c1c4e3023419ad6e050fec9ad7d31aa41e1534 2247 acl2_8.1dfsg-6.dsc 64d74fd4745b313e1452ed7341abb9705191c3aff812d7ff228df6e9a6f919f0 205324 acl2_8.1dfsg-6.debian.tar.xz 85468791f32fcf2c021a39375618a7e050ec86d819e542b67a8ab1b42a15ae0b 8366 acl2_8.1dfsg-6_source.buildinfo Files: 8aa3cd0eb0d6793bc369707c398d1c3f 2247 math optional acl2_8.1dfsg-6.dsc f79e3995a5f0d3252ee76028c6098260 205324 math optional acl2_8.1dfsg-6.debian.tar.xz 3910a82bb5681f4b75ff54bca68d213b 8366 math optional acl2_8.1dfsg-6_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAl3uWoUACgkQuEXOUQ+b cU0yIg/8CsirBubMFblNGjG5WbdMq/64lhnrdOn4IjBfPnMLHV72dgtl5IJK+NRF P6eMZbFTtHsFq26F7LTqVO6kG21ijhgNrtKmrs4CTARZ34MZisf7hUbtR6/jctxa ZXEJc7Pt33I+iJwhKhz5kphN1jw/OqO8j+Yb/qhsu8AZCWpSv0ZHT/p6ygQeTNi9 7X6lOr7ULi2zN5Ae9+b8X//MTAaLr1h7FNY2ZogAd5baszwmYEvM+iPkaOISTrav h8JsUJmcHSf5k9s44o+Iup2m3GUK4vmqhh2QFJUKt+gbT3/zxdnjEyziOEB+J9Cs chJ9cmH4Tdmmn0HIEiQHtcJNHtvdIXNF2lkjtzrzazwqq3El3Xup7mT4w2QPBsLE rQxZAvEq/e7f+lJDQebDld3z867bx7Kn81p0cZsssYyTBkC4BKQxqlMxWw2Z97zL tpB1z0qB/yBHo6WUTZ2YKw3AAUx6NC+8YPzdz+Va/YnJe3bjAxkUBrfDkeO3UQA2 +vB7v0Hx43ZZ7eRWtAScqna9ZSutl4qwiqhQnaRRv7EpIIZDOShPFfNpn3CE5T6g dR+2r7Jgdu7Bx8tCtZ5Ssy3R9D8X7Uika4DU9P/PBJ1sKQAATcjZxVe1q5Yrdafo uTtRCMrh9dmDC9R64Rcl0adm5cYoCo5ihzmoMFHuu5WKOBno0hM= =0/6s -----END PGP SIGNATURE-----
