Source
acl2
Version
7.4dfsg-3
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 9 Jun 2017 20:19:30 +0000
Build-Path
/build/acl2-HWbaGD/acl2-7.4dfsg

First submitted
Sun, 28 Oct 2018 04:10:05 +0000
SHA1 of .buildinfo
fe4f6871901b30a9aac223e4586f4a1f802a2634

Binaries

acl2 (acl2_7.4dfsg-3_s390x.deb)
SHA1: 0c3b7b7a84c03a2627fe66f7055775dd82bc52f7
SHA256: 71de3d30ae7aa42a8bb9d0a8bbfb0e131400974ae7d3843a04f0dc27f77a483c

Size: 17,983,768 bytes
acl2-books (acl2-books_7.4dfsg-3_s390x.deb)
SHA1: 3eccb850c786391aef12f54099843cd66ba82980
SHA256: 617925b3292cd1b7d3571971e163203dae133bc10fd147bb0c57a2b5f327a279

Size: 125,271,080 bytes
acl2-infix (acl2-infix_7.4dfsg-3_s390x.deb)
SHA1: ac581be66dda969e0f9c9d2ff4480a3d78fabf49
SHA256: 7179485ef686aff041b854fae19c9d3bfccfa16447d8853da0a3d5ead0e8fb11

Size: 413,544 bytes

Other checksums

Submissions

Submitted
Sun, 28 Oct 2018 04:10:05 +0000
Signed by
0xFF8E016B689BEFB6

Environment


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