acl2_8.2dfsg-2_all.buildinfo — buildinfo.debian.net

acl2 (acl2_8.2dfsg-2_amd64.deb)

SHA1: d61d2125b5e2ffbf357b264664b421f45fc95c94
SHA256: 110fbc1c57c164a536fe8758bb6a5a5e6988a224d15b7a85c6de3f977dc411c1

Size: 21,956,988 bytes

acl2-books (acl2-books_8.2dfsg-2_amd64.deb)

SHA1: 0ec3f51b1bf3a31fb6c4f73151a025a04d768602
SHA256: 5b89b183cf02f5163f063039ec23c3657cb017e6e2cd25ff44471deda08d1e65

Size: 171,733,676 bytes

acl2-books-certs (acl2-books-certs_8.2dfsg-2_all.deb)

SHA1: c37760a4189a4ccaa8f39c0483b81e4ced4a9131
SHA256: 1994db5fe9677d2bf9d68a1af18570a04e2d3a10827a03c502f79198a3848d59

Size: 69,063,592 bytes

acl2-books-source (acl2-books-source_8.2dfsg-2_all.deb)

SHA1: 3e8be91d8b11c0622486d909a97cb57a41d47da2
SHA256: 7abb2e0a4cfcc59a1627147a1b9fad71afffe7c65dbae8699f8a320f26764711

Size: 14,297,884 bytes

acl2-doc (acl2-doc_8.2dfsg-2_all.deb)

SHA1: 0c13d3e66a93fd9731cd9d40e49262abd933c06c
SHA256: 6ed271221b2f7e4f1032cdc48ab0f73eb13dbdc0ff51de561d112e26882d9217

Size: 432,800 bytes

acl2-emacs (acl2-emacs_8.2dfsg-2_all.deb)

SHA1: 02265e8276de4761e75951398465f5230f45c796
SHA256: 45b11e238e24d7dc85d9d5a2d116414266bb565535fcaaf00ecd482604c103cb

Size: 68,252 bytes

acl2-infix (acl2-infix_8.2dfsg-2_amd64.deb)

SHA1: a778ab6a6833633d3edb516eed22851bcba50ff2
SHA256: 7b8d99c90b1b7cbc25699b0e2411c6105ce6f81aba214082b876d02ba72f6cda

Size: 491,504 bytes

acl2-infix-source (acl2-infix-source_8.2dfsg-2_all.deb)

SHA1: f7ad9a2b1538a662f7bad5239ee4c2c33f308fe8
SHA256: 13b9d3f2f3e49cad28b2ae9b0d1ddc7011cc8eb2f11db9e41a02fd56ff4c5c18

Size: 79,652 bytes

acl2-source (acl2-source_8.2dfsg-2_all.deb)

SHA1: b9c3275fc02c1782e787f62dc1e7ef69fe79ed68
SHA256: 96330406ab84c47d3fdd48bcc7b91a62fd5ffab967186b3ffeddcc743fbf04db

Size: 3,277,208 bytes

acl2_8.2dfsg-2_all.buildinfo (view)