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

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

SHA1: ed49ae66ef152f71f34b2426506b0173fbd82e59
SHA256: ec2f8382284491b72facac8ae46dc803f95cd57a440a54b02e9450339c5a1af2

Size: 19,631,080 bytes

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

SHA1: f5cc0defb329c4ba6a9699bea2c0963c850f5964
SHA256: b892981da424689afcc917862429cf319215a933da751627143fdd7de2281805

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: 3c2663927112bbd1e3b954aa3e50cccbda639fe1
SHA256: ef28324c18acb7ab7ab9d4c64aba054f5c44df4b88e64d855e1a6ed310ce543d

Size: 447,424 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_arm64.deb)

SHA1: c02ffef42de72be03bb534921ffcb77f2294b242
SHA256: 52c04d04503299f0fcd3cbdecf21afabaaf84a2edf2bf9f7a77c1525ca1df56e

Size: 485,564 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: fc4fd2327ae662f5985a46653399488a70158cc8
SHA256: a511a5f10c9d9fce526df281babfff91bce1b771a6b0e43d5e4b54fc6e4e5878

Size: 3,339,916 bytes

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