acl2 (8.1dfsg-3)_8.1dfsg-3+b1_s390x.buildinfo (view)

Source
acl2 (8.1dfsg-3)
Version
8.1dfsg-3+b1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Mon, 22 Jul 2019 00:47:03 +0000
Build-Path
/build/acl2-GUJvdO/acl2-8.1dfsg

First submitted
Mon, 22 Jul 2019 02:04:02 +0000
SHA1 of .buildinfo
e8809262a33e82522fede4a29154edef03b62482

Binaries

acl2 (acl2_8.1dfsg-3+b1_s390x.deb)
SHA1: e6a8eef4ae0fe7c7885cd690f6a19595a1b67237
SHA256: f6fca693791b9d31e3768ce8a5eda7988ffa1f3ce902128e458be42a6e51e552

Size: 19,062,196 bytes
acl2-books (acl2-books_8.1dfsg-3+b1_s390x.deb)
SHA1: 9d5fbe19e4e8bd088e82fd32367e1ee95a87a2ae
SHA256: 6a0285d18c996037333e4b487786b36359f7721bff6347fa9052460538215eed

Size: 149,406,232 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-3+b1_s390x.deb)
SHA1: 0601ff17158cc492e4c3307366b5b3f72c983cd2
SHA256: c80a37168353b41ed0e832111c97c6b2c08cc5a5efe763fef93b2cc0112a937c

Size: 453,444 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

ieszdz93
Submitted
Mon, 22 Jul 2019 02:04:03 +0000
Signed by
0x562DFFD360A9BA42

Environment


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