acl2_8.1dfsg-1_s390x.buildinfo (view)

Source
acl2
Version
8.1dfsg-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sun, 3 Mar 2019 19:48:49 +0000
Build-Path
/build/acl2-rSXRnF/acl2-8.1dfsg

First submitted
Mon, 4 Mar 2019 00:11:08 +0000
SHA1 of .buildinfo
974e278d461f62e39fa4c2fea7bd46da0cb56a09

Binaries

acl2 (acl2_8.1dfsg-1_s390x.deb)
SHA1: c222b9a36625e6995e2850e63643b53a3e8265ae
SHA256: 9839e21bad7622cfc67a384d53803cf49529d5289f920355dbbb1b62ad8e9122

Size: 19,153,560 bytes
acl2-books (acl2-books_8.1dfsg-1_s390x.deb)
SHA1: f868ff3993d2fa42256ea90d30f6c0ffe1a845e8
SHA256: 34cf5e23966884fa5bf1b5ad32322139136cb9687cb47d683a24cd6556bc9fb8

Size: 149,386,324 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-1_s390x.deb)
SHA1: e77972d990ca697c901cd501e000ba610beeb0ab
SHA256: c8577a5cab3f4f82252c3ab2a76d3cf5505fd28a3140dcffa8faf598182be7aa

Size: 449,292 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

bo7uqb7c
Submitted
Mon, 4 Mar 2019 00:11:08 +0000
Signed by
0x562DFFD360A9BA42

Environment


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