Source
acl2
Version
8.1dfsg-2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sat, 30 Mar 2019 21:27:27 +0000
Build-Path
/build/acl2-ncxk0i/acl2-8.1dfsg

First submitted
Sun, 31 Mar 2019 00:10:45 +0000
SHA1 of .buildinfo
6c224d55fba2ce799dc40af463ab019903a18250

Binaries

acl2 (acl2_8.1dfsg-2_s390x.deb)
SHA1: 1a7ed0e655731c854bc28763e6564a16c4d763a3
SHA256: 3963c862fb1df4ec8630ad21d53f59ede6084eefeb574ca11dead5cbe36dccad

Size: 19,101,020 bytes
acl2-books (acl2-books_8.1dfsg-2_s390x.deb)
SHA1: fcf1feb1b82a48c3470533a8f7ba163391f8a9d0
SHA256: 38db41d83b0c4eaa5a064e89a074eab03288c9ff92dd7af38528c84e81becaab

Size: 149,379,296 bytes
acl2-infix (acl2-infix_8.1dfsg-2_s390x.deb)
SHA1: 33abfb0d9040ed8d13410d306aa707bf87070b41
SHA256: e5fd0bac7a4cf0e407440ea08cb3f4ec8ed9b4d33d525fca74972decfe0203d4

Size: 445,356 bytes

Other checksums

Submissions

Submitted
Sun, 31 Mar 2019 00:10:46 +0000
Signed by
0x7057D4D074EA5A5F

Environment


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