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

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

SHA1: 28ee73cfc559474c590f58b96cbdc4e0668d4c54
SHA256: a4f6a0581529fdb3d4e57d75dadc73dd17bde5bacfe307dfb5b718c8de836d2a

Size: 19,715,672 bytes

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

SHA1: 2de5a4cbb4f5af056a8ae8b50b51b15c766b2dbb
SHA256: 18d11312df24b13b47c1709e9bc92ed10f0506aa98e78447e20edf7413cd80ed

Size: 152,143,600 bytes

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

SHA1: e0a348016aea2d76296b2485d474c09895c9c976
SHA256: fab2a48548280fbac95711bf7e1d9d11d49f160bfa207634f12de69a94d63e73

Size: 73,151,520 bytes

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

SHA1: 64384b79f9b50785c6749e4ea46db331d869c871
SHA256: cc6b1492d6ee07a06bb2209e9060e675596bda64ca92f3ec51a7851f5b1de1a9

Size: 12,473,476 bytes

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

SHA1: 1ff71cb91b16c7949e9e86660b5f9fc144e09e09
SHA256: 771ecbff937e8bdb98efaad32ca3e9d4430fd684d3d79f5639e33db85249392b

Size: 401,572 bytes

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

SHA1: 75037b97458be2657e39a5f70558edc1c29522a0
SHA256: 76d3f4e1eab5383dc27ae7eaf534fc04c6bceab1df4d1864a21f90e3dc01ecfb

Size: 67,628 bytes

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

SHA1: 3d9764d7eabbe3331e67c97b853ee37953f8a8de
SHA256: 5826d5b68773b47ba1104325a098eda77f36a754b0b6a6c69d2d4f27387f63b4

Size: 491,256 bytes

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

SHA1: 9c4e6f5f56ad937d180f88f4fcc2d293a17bbc89
SHA256: 4a13b1cf0e1e691d4c6be752dc37650cf82294b28c05fda7cf001ced6239dfd1

Size: 79,188 bytes

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

SHA1: 37c33db2bab2da02801810e7ca190b405b64604f
SHA256: b4dac92911f92b22e129bc5a00317c3efba2578a87fdbd196fc450b196ab839d

Size: 3,081,516 bytes

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