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

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

SHA1: 65a16ecb53bdaa706658bda3c81572a1b104ec9c
SHA256: d86e03eea1985c4ef3624aff3464a806cf1247951a3890cf5db72a88f3cc3032

Size: 21,401,472 bytes

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

SHA1: 6bf4d85756a924fc2ed57a9165f7f0387d8c8d2f
SHA256: 4ea2e9a3084f66dcc24fc409e6069b2ee4dc67b4f740ea013b87be9ce3e15a19

Size: 252,810,824 bytes

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

SHA1: f0059a16bed546b3b146f582ca370a34d66a9e60
SHA256: 5f7ec9a136cabb1c0344118f9bd510d13dee4e0ea50fcc569e89d851b5bfc065

Size: 145,270,148 bytes

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

SHA1: 4b3b7e1533701f30de87f7ada078feaa5f29ca5a
SHA256: edc496e05fb89ae96bcf706c217821434ccbe388fbdb5093247d01dd67976242

Size: 19,536,952 bytes

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

SHA1: 3fe6cfb2db34cfe00015e0dc916ba66571e213e2
SHA256: 6905e16fa59ab546434b04e3e0e19489274b64899fab8c6b2a2f6c092bf9ff8d

Size: 447,656 bytes

acl2-infix (acl2-infix_8.3dfsg-3_amd64.deb)

SHA1: 39732f79b89603b4311c877d7fae0d6fa825591a
SHA256: cb77e03710660753ed254c4817c002128dcc328fbec18d15f00ba733f147f3db

Size: 491,392 bytes

acl2-infix-source (acl2-infix-source_8.3dfsg-3_all.deb)

SHA1: 98c659e91e26e8445b13b2620752be58082c7749
SHA256: 7542d58d07a5db5b5cbcf063d53015d5906d7be12934089c188e45b2987ccee7

Size: 79,920 bytes

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

SHA1: 5f1eaf06654e1bdb761049d957e0c49a9b724fe8
SHA256: f2efae6fd4fc5cec266bc92b3dbe126294d46d1e482edbaac804e177f8d09c04

Size: 3,340,444 bytes

elpa-acl2 (elpa-acl2_8.3dfsg-3_all.deb)

SHA1: 9e7f185a510191b99141e121ce800e79fc003678
SHA256: 1b8eb87ab76de983c678e0a8ec27bf58a4ac4c9b0c4aa639a815a6327c5dbc16

Size: 76,552 bytes

acl2_8.3dfsg-3.dsc

SHA1: 9a140e4e6bfff12aebacf96851b2ba37a690da41
Size: 2,281 bytes

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