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

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

SHA1: 790ccb5cc31db04476449b5241da29192d6f435a
SHA256: a5a20623896a77c11802cebc87d15387744968aadf867e745990771f5d1689db

Size: 21,285,144 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: 3ed12f0b70045f2602806295b8eb166db8223fb2
SHA256: 13d5281c234100149892efc9f546b41793359b4b4d7085fb07280fef959a0d02

Size: 447,440 bytes

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

SHA1: 45b39b61c797402e57c25cfda73371ed076d6893
SHA256: 7c68fefb59dee1add508a51b47a175d3f17701bce2c598762f3051a4bd31a3b8

Size: 69,236 bytes

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

SHA1: cd644bca4fb606501f78f10e91d0c007e5ae0a1c
SHA256: 7a5ce1e180f2a5853d01dbb54a1e5054cdcccef05649d85bb8e5027a6a717609

Size: 491,628 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: a83843603f70a37f6ee4afd8f79a6782a12d4e33
SHA256: c072f4f21e7f2e596f38542e4cd068d36061b1c7fa4a9fe1ccd82a69caf3d419

Size: 3,340,056 bytes

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