8.1dfsg-3+b1
s390x
Debian
s390x
Mon, 22 Jul 2019 00:47:03 +0000
/build/acl2-GUJvdO/acl2-8.1dfsg
e8809262a33e82522fede4a29154edef03b62482
acl2_8.1dfsg-3+b1_s390x.deb
)
e6a8eef4ae0fe7c7885cd690f6a19595a1b67237
f6fca693791b9d31e3768ce8a5eda7988ffa1f3ce902128e458be42a6e51e552
acl2-books_8.1dfsg-3+b1_s390x.deb
)
9d5fbe19e4e8bd088e82fd32367e1ee95a87a2ae
6a0285d18c996037333e4b487786b36359f7721bff6347fa9052460538215eed
)
)
acl2-infix_8.1dfsg-3+b1_s390x.deb
)
0601ff17158cc492e4c3307366b5b3f72c983cd2
c80a37168353b41ed0e832111c97c6b2c08cc5a5efe763fef93b2cc0112a937c
)
0x562DFFD360A9BA42
DEB_BUILD_OPTIONS="parallel=2"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1563731792"