Accepted acl2 8.1dfsg-1 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 28 Feb 2019 17:58:59 +0000
Source: acl2
Binary: acl2 acl2-books acl2-books-certs acl2-books-source acl2-doc acl2-emacs acl2-infix acl2-infix-source acl2-source
Architecture: source all amd64
Version: 8.1dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Description:
acl2 - Computational Logic for Applicative Common Lisp: main binary
acl2-books - Computational Logic for Applicative Common Lisp: compiled librari
acl2-books-certs - Computational Logic for Applicative Common Lisp: library certific
acl2-books-source - Computational Logic for Applicative Common Lisp: library sources
acl2-doc - Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source
acl2-source - Computational Logic for Applicative Common Lisp: source files
Changes:
acl2 (8.1dfsg-1) unstable; urgency=medium
.
* New upstream release
* Applied dfsg changes from 7.1
Checksums-Sha1:
fb548b8e91f6202ea361dbd8ac1e3685720a34d7 2245 acl2_8.1dfsg-1.dsc
dc8ffcae23be62d6873bc625ef28e26a1a0bdb3e 78970801 acl2_8.1dfsg.orig.tar.gz
64e4bf4ae15bb224841406d09c04a3a9f8ec5801 205024 acl2_8.1dfsg-1.debian.tar.xz
cdc2e378c71ccee3f886426977688c37ebadaf9d 80674972 acl2-books-certs_8.1dfsg-1_all.deb
841fb70f222aef0da73f308ae217ab5239b66a67 13585504 acl2-books-source_8.1dfsg-1_all.deb
e79741fe07392330d25abd606b51989ca926fced 163467940 acl2-books_8.1dfsg-1_amd64.deb
0fcca77286d33916d2f0fac5f61404201e0d4b6e 413076 acl2-doc_8.1dfsg-1_all.deb
c396fcee41e59ed93d0c103b2779fdfa972bc7b1 67588 acl2-emacs_8.1dfsg-1_all.deb
75af3629e5177c9fe05cdd5cae5912cb82b01f7e 79228 acl2-infix-source_8.1dfsg-1_all.deb
f27cab98a11861ae695d42048b0837f48322acd6 490624 acl2-infix_8.1dfsg-1_amd64.deb
09656e62cec7b715501016409dc82a13d2e31653 3132868 acl2-source_8.1dfsg-1_all.deb
e0033578767ab67cea72ee1453d4d08043446397 13774 acl2_8.1dfsg-1_amd64.buildinfo
740933432179753dec93292e206c01b40afc8dbe 20328700 acl2_8.1dfsg-1_amd64.deb
Checksums-Sha256:
2bd375833a6400cc1c90e33bcfb5b6029efb1a176645a1f276bd9fdafc8057b7 2245 acl2_8.1dfsg-1.dsc
24ae60c24ca40ae7fc92db567e58fdb717a7f4d235fea51286a9301a7d91003d 78970801 acl2_8.1dfsg.orig.tar.gz
3e4c35fe01e007c572d382b47c5319ff18c5fb2c905c77002c40d76325ee4edd 205024 acl2_8.1dfsg-1.debian.tar.xz
198c908a2bc13fa6cbaf3d5a61c83e2c8115dce594db1b002262a28dda3e8eaa 80674972 acl2-books-certs_8.1dfsg-1_all.deb
a1e4cee78d82ba2db9b1f6679b4173cc3f8c52a27ed9f1914b22fe089efd80c9 13585504 acl2-books-source_8.1dfsg-1_all.deb
4acf7e29eb52cd26723f12cfc62add405591ec04fe7927a6254ca2db05992c90 163467940 acl2-books_8.1dfsg-1_amd64.deb
fd57ca5b7b5e41caa6aa9551495892fd3c476856eb44821c154d88d6d4ed02a8 413076 acl2-doc_8.1dfsg-1_all.deb
fafc9730c3a7fb4d303e1234c6129a0d90d904c22efce9fe2ba5206fee395e59 67588 acl2-emacs_8.1dfsg-1_all.deb
b2595f9d5e2600a9f374592b681095b743f45670214638d30358bbb0b2de3f7d 79228 acl2-infix-source_8.1dfsg-1_all.deb
ac46e9cce7666cdff4827269f92a5a7b3b6b1acb6794d7438994d1d8bdb8cde9 490624 acl2-infix_8.1dfsg-1_amd64.deb
b109b78b88d3d8b72de4b6f1fcc5a2ca0d0e0959a35c8235aaa8a782e06a9a37 3132868 acl2-source_8.1dfsg-1_all.deb
527b014e19a906aee6dacbcb67dae6c77d93e85446e23b73db8ae74c7140acc4 13774 acl2_8.1dfsg-1_amd64.buildinfo
87492fbf6f567b708cd4e937a83c3f996a9b114ec77c39215a6d7097dc0766e4 20328700 acl2_8.1dfsg-1_amd64.deb
Files:
12e1e044180c85a895d0bccaebe7ac29 2245 math optional acl2_8.1dfsg-1.dsc
9084e3b9da3fcb36386e84ed0d84d6d9 78970801 math optional acl2_8.1dfsg.orig.tar.gz
00e1000006ef90fe2831e135e91e6477 205024 math optional acl2_8.1dfsg-1.debian.tar.xz
0d9c721bbbb050cb874b541af42eb1cd 80674972 math optional acl2-books-certs_8.1dfsg-1_all.deb
b9ab1fe11a82fbb91feafc15c179da13 13585504 math optional acl2-books-source_8.1dfsg-1_all.deb
20d9588f12313d4c756aa7e6eaad6cde 163467940 math optional acl2-books_8.1dfsg-1_amd64.deb
1491e4d5599c9a4075aecefb24a11a6c 413076 doc optional acl2-doc_8.1dfsg-1_all.deb
3a68ff397e0118a199c3eef86c388407 67588 math optional acl2-emacs_8.1dfsg-1_all.deb
d19df26516718f4346b1f7990e9d00c2 79228 math optional acl2-infix-source_8.1dfsg-1_all.deb
1fcd09d3fabc1a8a41c275211b243df4 490624 math optional acl2-infix_8.1dfsg-1_amd64.deb
8f5abacc85f80200e71a67d4f945a76b 3132868 math optional acl2-source_8.1dfsg-1_all.deb
543c090e13ae42b688c5f9ebe8d4f1db 13774 math optional acl2_8.1dfsg-1_amd64.buildinfo
4fab8b824fd39dc52d736e9a8b8b08d0 20328700 math optional acl2_8.1dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAlx7xksACgkQuEXOUQ+b
cU051w//bPn1xq1aw/dWcV6CJUuVBJG30AFvPGWThtYPGI+Cr6IsvMDfPKQHMVb7
+Gmksmn1TCNTbF+jD3x6qtg93MkI1GY43gr0mT6NwOhWhFxSMkGfkVqc6Me6ELcx
mqDrQpfY7x92EEmsANqsQl8Lrfpa7Pw9BsXNoRdl6lDC8vLkwCql1+QZwoix0Eft
8a0OuV7w9UkyzfgP4XjLazJ1/x98p8Lq2gLeJ9W+eaV3VFzLR520G93D9ozpMmDv
gQj+Nt9dRbfFvlyRHGamon7RUdefhWh7c2JRQiBXEIStZZHjQxuBk08GIMoyGfYD
Q1ecGwh1TQJ+5uJrr2sPklhQtj/7MyHkwvcxstLVVF/7J2eryuBYnq5zb/L7e/TP
Xir048lFGFFWIKtW9Tp2ltK4rtB5R+G7/ElKHaHzCjtxrunGvWfwRe6/CLpTFPwm
Q4VMnO/jmmoTkKcifQVOFuHOplEayb1IojSBU/+CJM9jUnzR/QEmHVpwyTlJv7iO
bDm0YYxfQWutQ+5c9Oh0Apb4BmPkIHpYpHWOmR7bE75PTLz87zOT5MfZMs4CDP69
XyTRyrPjKyzDlrOyiJCRvWSuT6MPMC2Gvi2Z+PZg+V8zw/Y+CCgiT7QERU2Dl6RH
+7qP9MX/NY6xg23cWLasLQHQJTqCmSth/+dHKH8QCAuKXiSZF0k=
=RwOE
-----END PGP SIGNATURE-----
Reply to: