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

Source
acl2
Version
8.2dfsg-3
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Tue, 31 Dec 2019 09:07:37 +0000
Build-Path
/build/acl2-xxrOVf/acl2-8.2dfsg

First submitted
Tue, 31 Dec 2019 12:36:46 +0000
SHA1 of .buildinfo
e04915fea587a5b270bf0b7a84b71445dfeb9677

Binaries

acl2 (acl2_8.2dfsg-3_s390x.deb)
SHA1: 290acdf37aac03ba6c4f1c9209a31853563fe6d8
SHA256: b45324674d12341f34d64cdadf155320f8ada7b3e29f25e8dea8d07373f67c26

Size: 21,128,720 bytes
acl2-books (acl2-books_8.2dfsg-3_s390x.deb)
SHA1: 13a4c374e61743bb4b8d0ff73542abe91db61bbe
SHA256: 1bbfa991c866004b2dff7f8cbc01ffa572afe23077c51490991d972de5e908e9

Size: 157,291,240 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-3_s390x.deb)
SHA1: a9ee70ca08b8a26a762b702819bde152f7a42245
SHA256: e7c40c3fe0e1b4bc3160983bf8200a96ab50111809644ce3ac9dbe2bde352d9e

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

Other checksums

Submissions

yxotobgw
Submitted
Tue, 31 Dec 2019 12:36:47 +0000
Signed by
0x7057D4D074EA5A5F

Environment


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