Accepted acl2 8.4dfsg-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 28 Oct 2021 17:26:09 +0000
Source: acl2
Architecture: source
Version: 8.4dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Closes: 987172
Changes:
acl2 (8.4dfsg-1) unstable; urgency=medium
.
* New upstream release
* Bug fix: "run-acl2 in emacs fails", thanks to florine forine (Closes:
#987172).
Checksums-Sha1:
c08be7ef503f63e1db0ee50cbd22bae0e1863bbd 2281 acl2_8.4dfsg-1.dsc
3ed1bb68d42627e2b7e9a87d914800d9231cb122 202991839 acl2_8.4dfsg.orig.tar.gz
70810548f72923864edf5ce37dcad1934ff4e0f7 311472 acl2_8.4dfsg-1.debian.tar.xz
6c00760373f2e20f90ade6771f38a94e52d739f4 8066 acl2_8.4dfsg-1_source.buildinfo
Checksums-Sha256:
71da49a91eec47506c191a5cd7d12bb9f2c6846201444fe4b332848ac7a8abeb 2281 acl2_8.4dfsg-1.dsc
1781eda71a71e856266bed96db6f92fedf465f3ca2ea83712b9bbba81ceb04b8 202991839 acl2_8.4dfsg.orig.tar.gz
30b40a666cc3a0c51bbf28dc22e15e470feb30a062aa2c049f8027943402a6a1 311472 acl2_8.4dfsg-1.debian.tar.xz
5180d3923892f6c9218e7397f7fd6edb4129e52bfa8249c4f8f61f18fa176d36 8066 acl2_8.4dfsg-1_source.buildinfo
Files:
cae60f80d03e2e0b211454d22e65bdb3 2281 math optional acl2_8.4dfsg-1.dsc
9468f59a924c337f622d95d7ee3d4b71 202991839 math optional acl2_8.4dfsg.orig.tar.gz
ac8693347d7a6b504b7821a5bb3c4bb6 311472 math optional acl2_8.4dfsg-1.debian.tar.xz
46f13a8868dda1d667a42a23bef73e37 8066 math optional acl2_8.4dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmF634wACgkQuEXOUQ+b
cU0VFBAAiua0jVpz6L1V5qH9l/928qMAjx3RLNZwTpSt3C3o4nzdlwJusv4akqTN
h8qw8RyFc7UuAlLY2A+RGybLzw9hcXQdZucxtIkuKAztEanv8suHJ3PjZaehncOJ
nU3j3JbLcM2uNpBXV2v7h5jL3uO6OVctJikXO/4iJWECb6EpKfVCblE1tFJIcJP4
So/2vBjGvjll5fAsDdOEsV260XbsPVsCfbQ2fwJQ621pZ6TygUO/45hXVzBWGbIV
tsx+EdoNDNzZWoztrUc1QXjMvrVnZkTePEoXpUNoEl1d+7jru9MeD6Un8com4Oio
Paexd7/mlekcET4xZTTxgQSY0XBxvHd++a7Tg/wTcERm7DebnhAgYhkTdB1DE4oV
RNy2fThZrqjdtuOKLzuOQQtd3rqX0lCVcwRRnsH0nElwWpgWGbmlQ6lizIiGReUa
sOgvrIK4EkfY9Cxs12W2TwX16osDnxHlCi791Fra4l3n6lrrIB+FkX6ZYbwNja00
iOWZXpVHemkXDnOJj9F/xWwt4hgnGA07yAtx+RbmNzAJLSlbgXQiaC5jML1FBIVb
wTKlG+B3UkF3RvoS2An60vplXTPdSx7BwQ7u5JShNmoX0cCVac528u9ELe30s/B+
lg6x6MjIHsoVOtgiGJ9pbP1LbGhU9y5sUz60vA+oT2BS78tqwbQ=
=9Jpa
-----END PGP SIGNATURE-----