Accepted acl2 8.1dfsg-6 (source) into unstable
-----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-----