Source
acl2
Version
7.4dfsg-4
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Mon, 2 Oct 2017 22:09:40 +0000
Build-Path
/build/acl2-uWIfyf/acl2-7.4dfsg

First submitted
Fri, 26 Oct 2018 08:30:41 +0000
SHA1 of .buildinfo
21dab7f8093e8e60a0e211f86e67abf0aa6ace8e

Binaries

acl2 (acl2_7.4dfsg-4_s390x.deb)
SHA1: 5389e2275c083bb71434f7daf9db04b97e7b9bd4
SHA256: b746715b5388727553b36cb4eb9e55216f56fe225e61eba60e60d203813e9109

Size: 17,672,222 bytes
acl2-books (acl2-books_7.4dfsg-4_s390x.deb)
SHA1: 3c40cde563329abd855332b8d0a69b2877d30834
SHA256: cb78728cc6086af0d60e8897c3aff430b30d34b3f1e3e3aea36e7dee01295c30

Size: 115,564,430 bytes
acl2-infix (acl2-infix_7.4dfsg-4_s390x.deb)
SHA1: edc5fdeb35c701962fbdcae572ce7b8de47c5231
SHA256: eb661d61efb89880233580884e2669694d0ad4ae9c30b032a58a1b7b4a2a6009

Size: 405,600 bytes

Other checksums

Submissions

Submitted
Fri, 26 Oct 2018 08:30:42 +0000
Signed by
0x4CC106A8602C42E7

Environment


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