Source
acl2
Version
8.1dfsg-3
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Thu, 4 Apr 2019 21:26:14 +0000
Build-Path
/build/acl2-1K4rYK/acl2-8.1dfsg

First submitted
Fri, 5 Apr 2019 00:11:07 +0000
SHA1 of .buildinfo
67eabbe2a06ac07e56003afd5f83887d13b71211

Binaries

acl2 (acl2_8.1dfsg-3_s390x.deb)
SHA1: 0768289c2270d2bd253423d3d68de8da4e9bd0d8
SHA256: 98966a1bbc7b342388a565910f9681c0d47334cca6aff05f9553d22a637bac6a

Size: 19,043,424 bytes
acl2-books (acl2-books_8.1dfsg-3_s390x.deb)
SHA1: aa9aa1bb2ba0b26d88dc506768778d672cad4f6f
SHA256: 2f20e43e20db44e7600d9ee485ae584d4a60dffd12e446232fa4968bca7d3c57

Size: 149,427,556 bytes
acl2-infix (acl2-infix_8.1dfsg-3_s390x.deb)
SHA1: c74110adefa6d9b30c8d176912469b67fc450e0e
SHA256: 3142591a3dff61f383507f43d9ac6ca73746a4fe9c78dfe8c6ea4cd6721121c7

Size: 448,244 bytes

Other checksums

Submissions

Submitted
Fri, 5 Apr 2019 00:11:08 +0000
Signed by
0x562DFFD360A9BA42

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1554299249"