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

Source
acl2
Version
8.3dfsg-1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Mon, 24 Aug 2020 03:58:30 +0000
Build-Path
/build/acl2-P85sz6/acl2-8.3dfsg

First submitted
Mon, 24 Aug 2020 06:12:50 +0000
SHA1 of .buildinfo
52161b72535ae8fea23ba55d9e1c95c7f9f0a98d

Binaries

acl2 (acl2_8.3dfsg-1_armel.deb)
SHA1: 52b3980ce2a2a3dc9cdbcfe5f3450cb5b7c1674e
SHA256: 39a9329aa23acd48cd1219a3a0275dfc96c4d6b8fa56cd56879b9e595f43591c

Size: 18,157,228 bytes
acl2-books (acl2-books_8.3dfsg-1_armel.deb)
SHA1: 23053aff419fc1a84e9cee7811a378896de46922
SHA256: 285438be09878af7ceedec321783cd94a5e742c6b7c77eded06083dec3461558

Size: 12,956 bytes
acl2-infix (acl2-infix_8.3dfsg-1_armel.deb)
SHA1: 2cdb34fcdd6136ee99cdb285d6399430ab1f4b64
SHA256: 2da97f0efd46205cc1d3b54119c3afe989c8affd737fdbdf96bbcbc5117cb4c9

Size: 476,156 bytes

Other checksums

Submissions

3axvmbjx
Submitted
Mon, 24 Aug 2020 06:12:50 +0000
Signed by
0x71728D427DD87F65

Environment


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