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

Source
acl2
Version
8.3dfsg-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 10 Nov 2020 15:58:16 +0000
Build-Path
/build/1st/acl2-8.3dfsg

First submitted
Tue, 10 Nov 2020 20:44:20 +0000
SHA1 of .buildinfo
0a4f1fe8ea34720ae06efde341750f69a4e9847a

Binaries

acl2 (acl2_8.3dfsg-1_arm64.deb)
SHA1: 45c4f371cea03574c151412819cd81cbbc36ca27
SHA256: 027414873c56fddcea31347d1ae4c4dc2fbd10b7c33b43d97650b9451191b66c

Size: 19,648,420 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: d04154520cb44e6a23dceb813c1008e8946cf06f
SHA256: ea81d9e3aeb726dab835544ff3bf31f88e983be1233a167eeabcf54d63daff86

Size: 447,484 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: 78d7f712f4dc094e60531a409b3fb9753c378af0
SHA256: 46cf8b0910329087c44088ac244453232343544f3fbb8dc28998235a8d4fe2b1

Size: 486,900 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: c8c856893be6bb79ba8b34a7fc18ee6aa9874dbc
SHA256: 1acd0b89da48e78b79c6b4f7a4ea7068a7797234be5cf1c929c6fc51e462087c

Size: 3,339,868 bytes

Other checksums

Submissions

4yfgmbsj
Submitted
Tue, 10 Nov 2020 20:44:20 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1598106562"