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

Source
acl2
Version
8.3dfsg-1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 24 Aug 2020 03:41:40 +0000
Build-Path
/build/acl2-Kh9C8R/acl2-8.3dfsg

First submitted
Mon, 24 Aug 2020 06:12:32 +0000
SHA1 of .buildinfo
f339028fc28f6005064b088ca0411b84c8a25cb9

Binaries

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: 103702d18fd6b9602ed349c5ce89e4359cdec073
SHA256: 894e7e73dbf44fa22c037900d1421b6956174e567122dce3ce54dda1798c00cc

Size: 447,480 bytes
acl2-emacs (acl2-emacs_8.3dfsg-1_all.deb)
SHA1: 48861fc74530a2e361d0987521543983388131c0
SHA256: d96c312e69f80c0c6a449675b4ce643de902d712e0ddf96ec5d0acb65e853309

Size: 69,232 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: 1b25acb3e9bc927f307af5e1ef0d781b5541eb4a
SHA256: 4582ffbd60b82a7fc0a1c8981520d3493cb99668b6061d2655f00d87910dcd01

Size: 3,340,264 bytes

Other checksums

Submissions

bqteyqei
Submitted
Mon, 24 Aug 2020 06:12:32 +0000
Signed by
0x6275E3E3BBEE61FC

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1598106562"