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

Source
acl2
Version
8.2dfsg-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Thu, 19 Dec 2019 23:05:34 +0000
Build-Path
/build/acl2-1VspOo/acl2-8.2dfsg

First submitted
Fri, 20 Dec 2019 00:59:34 +0000
SHA1 of .buildinfo
5b97d2e73d4954f72e87a655f906ed8cb90414fd

Binaries

acl2 (acl2_8.2dfsg-1_s390x.deb)
SHA1: 71fa6d42daea93cf70ea7f4b74ca6c9f71a1c454
SHA256: 2f532ca03fd47576d73e1afde8e44a9dea4c49d8ac0e0d66e70a32161de914ac

Size: 21,093,044 bytes
acl2-books (acl2-books_8.2dfsg-1_s390x.deb)
SHA1: 5fcc9b484e1b93120f2bc7f6b1b2946d69b3de97
SHA256: 4090cd41b84a79176bb195569bc0266dae306397e7123dd7da8ff2814a6d5e3b

Size: 157,338,176 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-1_s390x.deb)
SHA1: b08fbdc019c39731338a2de5275e66455bcd6470
SHA256: a3489682264f8ffd7a0354f832a636f50da23e7d5637b9439d90ff562ee77cf3

Size: 451,268 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

unbtivjx
Submitted
Fri, 20 Dec 2019 00:59:35 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


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