Source
acl2
Version
8.1dfsg-6
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 9 Dec 2019 21:46:10 +0000
Build-Path
/build/acl2-6b2cgZ/acl2-8.1dfsg

First submitted
Tue, 10 Dec 2019 00:31:22 +0000
SHA1 of .buildinfo
999850c648e755e32d05c6faf8d7fc98337c8e7c

Binaries

acl2 (acl2_8.1dfsg-6_ppc64el.deb)
SHA1: b60b8690f0b5a7d66334b87149ee422af6405420
SHA256: 4ad0b2e5d6718c11df56b95662dea32c31c67fc6257c3a4acbf6a79e840c422f

Size: 20,118,640 bytes
acl2-books (acl2-books_8.1dfsg-6_ppc64el.deb)
SHA1: 695ad7efabdbc9ab84f576445c6cf3ff2b1a238b
SHA256: 997745f2a466033b5e7c3667632a15ec4ff7185148c5d869cac7d579be883761

Size: 165,899,232 bytes
acl2-infix (acl2-infix_8.1dfsg-6_ppc64el.deb)
SHA1: 357a3247f87c4a494581c630dba91e410f3be2a3
SHA256: 1ad8ba0d6cc455d1c1f4d97dcd4abafc84f5590082ff6069aef46ee477e7a17d

Size: 510,352 bytes

Other checksums

Submissions

Submitted
Tue, 10 Dec 2019 00:31:23 +0000
Signed by
0xAA4B2251A9397852

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575901290"