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

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

SHA1: f876ed922848f7e442b4083aeea357bba7cfd58e
SHA256: a01d3d3a75d2adcfdeb2cdc401d332043230f470d01f2df0597565285d5afbcb

Size: 20,298,072 bytes

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

SHA1: 7e7e1f78f61c250e9cb2bc8c497260864470e9f5
SHA256: 1e20faeeb34ac516f60433a62dcb03ea511aa68f6003d22a00ff84f678171926

Size: 163,496,944 bytes

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

SHA1: 754b627dcdffad59f9e547936f2f2df701939812
SHA256: 94d4c9f7f0a91eb9969521cf3d16995f7a024e30f3c730c13e51f40f42897e4b

Size: 80,751,052 bytes

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

SHA1: ba3c0a0fa2825e26a0908757c642cfe07f9cad53
SHA256: b252c587bcae691005026b784329c3315ba5d8a5444f19c87e68c122ab4774f4

Size: 13,586,272 bytes

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

SHA1: 6ea0394e13cd6828a7bfb6fc27aabba4b2e0f364
SHA256: d2ae1efebf95b6ee484cb7e56a3199708284371074ac925f44692acfada5bb56

Size: 413,184 bytes

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

SHA1: fa26ef217a4cecff88ac4fde82dfde26e2ca59a0
SHA256: 26ee0b82fe1d350fc28fa6b27b0939a6c6880ac53ce91634e7ca491255581208

Size: 67,760 bytes

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

SHA1: 9216998382cbfc8201b6494f9a91a9c5fa229c2e
SHA256: b7610b1ba5278db587f5bf54fbbee97fb6ca00bb8df1b9e3436db636b8a5b6f4

Size: 492,556 bytes

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

SHA1: 292be436614cf148838d4ed35d5b4f5b5f5b8fb2
SHA256: 76caf00ee0b9aaa4323ce31a5ddffdfc620d4de3b10b85d3c4b17030315de7eb

Size: 79,404 bytes

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

SHA1: c960a9ea4938cc8265188d91b8d6107df5e5763e
SHA256: 3fc666e40f185b3f2cefb15ea4e8c0e207f4cadd2df8631e13ecd45a1a0e1526

Size: 3,133,000 bytes

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