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

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

SHA1: 5ca45e8b1eea82cbccaa039ee111482197adac74
SHA256: fb27b5ef451c922f664440f265d4573e5b8bf6752129b1645d7109af0c5666c6

Size: 19,757,048 bytes

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

SHA1: bcdb1d66d5ae68fb203a89a578b9e2c05fa2cc35
SHA256: 4c52dd89dc9fd21723d636e56b15a633b345e456c84dcff87a9b9a0e593a9b20

Size: 152,136,736 bytes

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

SHA1: c5a8f2def6a5a2cdb00ae1ec3f3091dcf9e5c130
SHA256: 0bd6b30e1f4f206ce298b0e2ac32c1b774662bff8d602eed04eb0fb142768252

Size: 73,130,836 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: 4a586715097c87ac1986a31ce1b5fdba4aae4db2
SHA256: ad44dff0fc108c7cce9d7d10086447a604b80c5336d2e513e92b400eb6ea004e

Size: 401,516 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)