Source
acl2
Version
8.1dfsg-6
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Mon, 9 Dec 2019 20:31:23 +0000
Build-Path
/build/acl2-fdTso9/acl2-8.1dfsg

First submitted
Tue, 10 Dec 2019 00:20:08 +0000
SHA1 of .buildinfo
9965d49c40cea8c262f7632a512962636c12df9e

Binaries

acl2 (acl2_8.1dfsg-6_s390x.deb)
SHA1: 0180f7bafd3e9c645eee63df450d6ffd2b7c00aa
SHA256: 9a81686f89c7ed41bc66b6d9aae1f6d1e5be656c3e41097455c52a854c2182a7

Size: 19,059,316 bytes
acl2-books (acl2-books_8.1dfsg-6_s390x.deb)
SHA1: 5f345848c967caa745437c7225b4c9a7ee4412df
SHA256: dac485bfc784743db09e55e67dd92edbe3e27d3417cde7f0c427d5d619e201ce

Size: 151,045,292 bytes
acl2-infix (acl2-infix_8.1dfsg-6_s390x.deb)
SHA1: 74c2d2eabac20ccba448c53ee583c0102bd99e7b
SHA256: 1bfdc24bae2b553da30a0c767c5ae60233f57f9b6de4c11c82307fa1ebbe5947

Size: 450,516 bytes

Other checksums

Submissions

Submitted
Tue, 10 Dec 2019 00:20:08 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


DEB_BUILD_OPTIONS="parallel=2"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575901290"