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

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

SHA1: 7f26a11a9f8f4a5fe881e0c187fe2ab765f3910b
SHA256: e678a9e5934f44dd57ec44ae1c865aa113174532db15d5d09d5f5477d4235933

Size: 19,628,736 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: 02f2352cd331c6a1466f67f5650f36db95f4a0b2
SHA256: 57e11614b7d7a6d7bcd4f8ccf78038306de5ad6daa988c56e40f3ac6327db52f

Size: 447,452 bytes

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

SHA1: a9ee517ccb2b465cfb3a054805167ead5e51a56a
SHA256: b098dc617dc4453f08d6b3264a1bac6e9c0591c7423d4545d8cdfd57e5cb8f12

Size: 69,236 bytes

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

SHA1: a0ad544f6728e4b0fa71c288e58fcb04d864d681
SHA256: 904b58f4a080c332b58945108a18298634cbc6f9c3de945bfa623a47b85f8819

Size: 480,932 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: a03e2d1f87b29753c51783554891aba7afaeb941
SHA256: 6872feebf5572eb4c11f5b4b87ffe38f38ef8ac1f974a4cf6d45fc87e45420bc

Size: 3,340,032 bytes

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