Source
acl2
Version
8.1dfsg-5
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sun, 8 Dec 2019 22:19:34 +0000
Build-Path
/build/acl2-6EC7KM/acl2-8.1dfsg

First submitted
Mon, 9 Dec 2019 01:17:47 +0000
SHA1 of .buildinfo
ac322f98188755d112c24a2a056217938fd5ccb4

Binaries

acl2 (acl2_8.1dfsg-5_s390x.deb)
SHA1: 7f8a6ff79d03ab9f77d2b1ca043a514b632f993c
SHA256: cdfe6de6163cad6a030a8cd496d67604749a928c1d2a6a7b9b1d0291d9568338

Size: 19,187,488 bytes
acl2-books (acl2-books_8.1dfsg-5_s390x.deb)
SHA1: 4ba09d728afe708d9e7cbc5e534016510cf59914
SHA256: cfa90345a689c3cac4e8ee6f8afe7fb35caec93e85eb607a0483979fe85f357c

Size: 151,098,640 bytes
acl2-infix (acl2-infix_8.1dfsg-5_s390x.deb)
SHA1: a94bd13e0cb270b27cf7265b3424cb7f546fc380
SHA256: 7687c39a58d8d8767dd628d8a4b20bc3846b740b9422e740ebaabc683054c01a

Size: 451,408 bytes

Other checksums

Submissions

Submitted
Mon, 9 Dec 2019 01:17:48 +0000
Signed by
0x7057D4D074EA5A5F

Environment


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