Accepted acl2 8.3dfsg-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 27 Jan 2021 14:05:42 +0000
Source: acl2
Architecture: source
Version: 8.3dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
acl2 (8.3dfsg-2) unstable; urgency=medium
.
* certify-books -> regression-fresh
* debhelper-compat ( = 13 )
* standards 4.5.0
* ISO-8859-16 -> UTF-8
* watch version 4
* lintian override: rfc2388.txt is not a license file
* clean books/centaur/vl/kit/test.vlzip books/centaur/getopt/demo2 books/centaur/getopt/demo2-test.ok
* remove w3 validation in home-page.html
Checksums-Sha1:
513971327c658f02e97d1750072c8b631dce5542 2275 acl2_8.3dfsg-2.dsc
219e80581240312ef37d92e277c83b2ab4285154 228320 acl2_8.3dfsg-2.debian.tar.xz
428930e071586bbe562159bc85ddc61b7ab45af6 8807 acl2_8.3dfsg-2_source.buildinfo
Checksums-Sha256:
63a168387c490ad10c10baf8d42314dd9d37a0be6d10a331d0d8ed77ea5c273b 2275 acl2_8.3dfsg-2.dsc
7e1c8ad06e8be538da2c5d4728ddfa37d6b04b8d6da857c05111e67b4980d705 228320 acl2_8.3dfsg-2.debian.tar.xz
788dc986192c71e41c15bcdef85797a6736b7fc7165b4a2b4bfaedecb1e92fdf 8807 acl2_8.3dfsg-2_source.buildinfo
Files:
5f3635cfd1faf110266042afd85e41cc 2275 math optional acl2_8.3dfsg-2.dsc
d393ca4df461a7bbb2b7dfa8fcb8a8c2 228320 math optional acl2_8.3dfsg-2.debian.tar.xz
48641bdc951d09995489d52f7accee2c 8807 math optional acl2_8.3dfsg-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmARdwMACgkQuEXOUQ+b
cU2UvxAAgMDC7ykdNL5FoZpBgJJ5OjbgdiPu2+MxTbbZbqOf0U+EgnfUavbtalto
9KibKjRloSfzalZQ3y+T/T1iwO9AWRGSzEww+A8R8iodd+8GyyaP0A5nbqitHQKE
WvgPrS/q2AkTpBMTCFkXULQzMRNkz//iu2mTFyo1VclItAemVMwx5r6jjHJ017IA
fqDv3AsqPuqAs7cJQZhXTLDvj+w6eXTVvsUaaiy3OC2jEE8+4aipqwS+pLDV8Ey1
bIuhWnrvdt+O4JP5TFPXayU5LStii8nHRKoOXb9PI+34JHyouIyAH9M3rFPFhh3D
rznCt1oI6vyIxWPanxkqldi2vdGddMVlSNmnmBNaVnLgcPUQ476C8FztFUUBeNDK
o8GA6ODVMMU3aXLSzn13DCJ5SqG0VWm78isaALltgLNpY0AQEsLWLAWIEsqy+O1F
0+NMP84qLjXH5McZUqHcZzIgIdrGe0SWQ6bFc69/PySNzMM/sr+Bw0ZaC/DMc5Vu
L0rOs+ESi9TkbVTuJ12hYFAqgpbCJKqreENGXsL/L1wAlDVX3CQ9ygw7KlE3mB0j
8nAom0FBbXhXiYf3eb/L/2GqK8OWDKA4t9X6d/ZcupoiSA0tCz568DlLOeCm4ViA
jtJtDDq0RrxuRn/vZdc1RLa81pTWuNqTS7wnOmMNyTJspWUC21w=
=c1PT
-----END PGP SIGNATURE-----