acl2_8.3dfsg-1_all.buildinfo — buildinfo.debian.net

acl2 (acl2_8.3dfsg-1_amd64.deb)

SHA1: 6451dbffd54e7ec3a13397fabbc309ba559691de
SHA256: e974905166b0e3bc370600a6cb58b0c5b91e8b0b5e656c120868ddb6b23ea914

Size: 21,266,552 bytes

acl2-books (acl2-books_8.3dfsg-1_amd64.deb)

SHA1: 66cb53d7f8fb75be2b96ce08f35bea7bd757a9d8
SHA256: 235366a7c79fd2a7bcf41004a1724180314e37c592585628189811d75fe70abd

Size: 12,956 bytes

acl2-books-certs (acl2-books-certs_8.3dfsg-1_all.deb)

SHA1: 5ec8b54c7082f365c9820bd6569530a17781d40b
SHA256: d5f0c267f7a01532cc12695c9b443020e2e657b9bbbb63b1b11e930346d4bbd0

Size: 13,664 bytes

acl2-books-source (acl2-books-source_8.3dfsg-1_all.deb)

SHA1: 8e88fcdae745ebab9285adc2f0c8c51942488f2c
SHA256: 7b6d58b55ac8113324a8853bd27048d5817150bec593aa5a5d0e3c9ee61e3cf2

Size: 19,520,532 bytes

acl2-doc (acl2-doc_8.3dfsg-1_all.deb)

SHA1: 90cca03c124563eb431da212b8966d293b211baa
SHA256: fcd1a99fafd508633fcefb52a7a4ab2ec14ba8deac336f4647c30f9f4ec34e23

Size: 447,452 bytes

acl2-emacs (acl2-emacs_8.3dfsg-1_all.deb)

SHA1: 48861fc74530a2e361d0987521543983388131c0
SHA256: d96c312e69f80c0c6a449675b4ce643de902d712e0ddf96ec5d0acb65e853309

Size: 69,232 bytes

acl2-infix (acl2-infix_8.3dfsg-1_amd64.deb)

SHA1: 43fddc7e3c9d692025ec292de9c40e9f4b6ae987
SHA256: 2fcdfc944226acfbcb2879bb904e01e6cdfde6544c106f92c3b594dc393064f7

Size: 492,828 bytes

acl2-infix-source (acl2-infix-source_8.3dfsg-1_all.deb)

SHA1: 39735e53555d18a381a2a65ec95342a4bb1e7b52
SHA256: 9df0dc6995b9873c26d8aabff6265172e55a614a44ed1d00ad4fcead9b6d5bae

Size: 79,720 bytes

acl2-source (acl2-source_8.3dfsg-1_all.deb)

SHA1: e7f853eae592d1e8866213f30bd293be360a05c7
SHA256: 2d6a47fb2506854618e02d7c426ab9e846dba10338e2093aa7b1bc924102bb55

Size: 3,339,856 bytes

acl2_8.3dfsg-1_all.buildinfo (view)