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

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

SHA1: 81d0d9543f78441c2c64083c21928b43aac1e065
SHA256: 53cb1ba930d9b378c2a27396c1d40f4b33c095dab96a826531a4467b94669325

Size: 21,292,024 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: ef7b5f72e8771da9bc76312cc521df0946aad2ac
SHA256: 28173fea21b0fdb7c71ead8ca7043c5bd29542b33acc2e971f7e3bd3c157dd5b

Size: 447,528 bytes

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

SHA1: a9ee517ccb2b465cfb3a054805167ead5e51a56a
SHA256: b098dc617dc4453f08d6b3264a1bac6e9c0591c7423d4545d8cdfd57e5cb8f12

Size: 69,236 bytes

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

SHA1: 9662752d35d314b268cbf47972c9c66664501865
SHA256: 2d3711e82068ac08340e86061db8d2e35f635d87e87d7029a1201355cb58391d

Size: 492,120 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: 21441852f62e5334cca37ea11e555fd47489c30e
SHA256: 00da464f9adfe44d8dc25a1bdbe40e4297e3a32d40f73295d79e7a179ec28cc0

Size: 3,339,716 bytes

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