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

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

SHA1: 0fbab02b5b3a4a902b6cafcff3febfa403f3e460
SHA256: b5308e1afcef93a66431f6c8cab3c8d8db4a1964203c38623e4e195ce8aaa96f

Size: 21,295,548 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: b0368da48bd203b27fef38414fb2b9d97c0dca28
SHA256: d2e1f14cd8d49cbb31c119cc7290db9cceb5fd8b4b780bf896fb26ad3b4810d9

Size: 447,432 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: c901c764d9eac9e8cf4b33164fc0161330f044a9
SHA256: 9770ca996274d786c4cf8018255af1730c10320707b03cb9559a3f649a4ce3b9

Size: 491,980 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: 1b25acb3e9bc927f307af5e1ef0d781b5541eb4a
SHA256: 4582ffbd60b82a7fc0a1c8981520d3493cb99668b6061d2655f00d87910dcd01

Size: 3,340,264 bytes

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