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

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

SHA1: 91e26388e91b5cf4b3c911fdcbc878da655a5d16
SHA256: b33c66ab6ae5e9f7fbd3c5f6c97a85664f923d8d17e481107cf549408a8bf94c

Size: 21,292,312 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: 38eef8f6cd2a20c5d7c8b1efe39d0d728a174917
SHA256: 8758f8b9f92684e99a8bbd034c9074450bde5f121853687ce18f8e3d5bdb48d0

Size: 447,468 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: 3b086316d67deecae27e3b49c43749eaa1e4a1a9
SHA256: 5cd299ad4f3e6c9a6143f1f7da496c56082accfb603b472c019ed3c1c1d226a3

Size: 492,832 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: 6b85c49ef3a9c5da02747b9550e7a2f134944ac7
SHA256: 096fc5a32f6c82646608f083f5c25c7edd75defe384105bf4ed63dd7503954f0

Size: 3,339,764 bytes

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