acl2_8.5dfsg-2_all.buildinfo (view)

Source
acl2
Version
8.5dfsg-2
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 22 Dec 2022 19:57:12 +0000
Build-Path
/build/acl2-wwbkay/acl2-8.5dfsg

First submitted
Fri, 23 Dec 2022 00:16:25 +0000
SHA1 of .buildinfo
e558772ffee519ae66b48479f05964043bd8aa93

Binaries

acl2-books-certs (acl2-books-certs_8.5dfsg-2_all.deb)
SHA1: a63982e3d523d828e94fef8e930650941dac3db7
SHA256: bf97efebcddb29f7a14b6f31305566baede0c02ca0c5acd5ce5f844990f392eb

Size: 181,426,676 bytes
acl2-books-source (acl2-books-source_8.5dfsg-2_all.deb)
SHA1: 0731b73665641743f464e127eff5af3cb80afa87
SHA256: f1dad46ce163247be754db8592de4adab9788038ec4650df03b294adf769b46b

Size: 24,660,192 bytes
acl2-doc (acl2-doc_8.5dfsg-2_all.deb)
SHA1: 89321ad79d3c7ea29a09a092212b0cfa803361f8
SHA256: d31a99cb9fc47df32418c7f320b90cdccf9794b917d1ffb0ef17df2ec568f455

Size: 481,296 bytes
acl2-infix-source (acl2-infix-source_8.5dfsg-2_all.deb)
SHA1: e4fb5fdea78fbe0d176b8e05613f09e607c92bf8
SHA256: 6100833d51a5b19a3adfe6ba17a0129da77caa5df5b8143cdc848ef160138711

Size: 72,240 bytes
acl2-source (acl2-source_8.5dfsg-2_all.deb)
SHA1: 1d885412b3e5613283dca0182d0034d4ee7a4942
SHA256: 1d025a1712f2133afc7edb7d5ffef1b39276a44b21633d66cb8f4fc552819d1c

Size: 3,587,928 bytes
elpa-acl2 (elpa-acl2_8.5dfsg-2_all.deb)
SHA1: 076c04ce7d2d1e206ae751af433dbff952228370
SHA256: 93b6113d9102b7e399f91abf0ea4093ad7f0135e29f7ce60ac9a7109c020b40e

Size: 70,584 bytes

Other checksums

Submissions

7xtw4wnt
Submitted
Fri, 23 Dec 2022 00:16:25 +0000
Signed by
0x24648C255DFAD202

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1671637419"