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

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

SHA1: 4c4ae33c783e596e0c903db6a7737e3d4481b9a7
SHA256: eed9ded79d0510d248645dcb3fff77d3ec1e7e82825fb27b75a1e271b8534878

Size: 20,437,756 bytes

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

SHA1: 5450a10e8f05a4afdb0348ffaea7466e22021619
SHA256: 1e61b6bae7c6aab6f2d176c00fe5f2f4d090ec81097da1d7f8a10d01c86b94ec

Size: 163,433,584 bytes

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

SHA1: aa2b4401bd356353c580f0b812da6edeed18fce0
SHA256: bbc5c3b8709ade498f13436237dd437f1abe8c63fa4942eaeace04b3761b4b28

Size: 81,037,520 bytes

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

SHA1: f703e2a29b489c40cc8f7a1c5c2a90c89a608cba
SHA256: 4d98bfee39911b9aae72392e70f573f0edff700971dffab04570098eafb29b7c

Size: 13,586,280 bytes

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

SHA1: 853f6b2c394a0dafb3678eaa061ec558bdb7ecff
SHA256: d63cfedcd3675a68a5c6fcc0a1363c064f8099f36b0a14f803c44bf1812f577d

Size: 413,248 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: df8866cf99f53ded61d7876ffefb5b4d48ea595e
SHA256: bb633333437caa651b57ada84558d21209f98bd445da835cb507653989545765

Size: 492,388 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: c2634949153e2539eecb70450eb5f1c516e93f8d
SHA256: 85f0838f0c1e859f56a1a30c77621d72d1b085849c15c11a8e0689335bedad13

Size: 3,132,484 bytes

acl2_8.1dfsg-3.dsc

SHA1: 01e77dad44ccaf6f054ff745fb6f3b4f9a0e60b7
Size: 2,245 bytes

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