Source
acl2
Version
7.4dfsg-4
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 2 Oct 2017 22:05:14 +0000
Build-Path
/build/acl2-f2nE1b/acl2-7.4dfsg

First submitted
Fri, 26 Oct 2018 08:31:09 +0000
SHA1 of .buildinfo
e3ba8cd89b4172d39255d64bd091bafd3e0410a1

Binaries

acl2 (acl2_7.4dfsg-4_ppc64el.deb)
SHA1: 5fc9560523254b20ea724f582c4b4e55418e4007
SHA256: aee61f57ced87b35b6f26f4c63f7d9f9310159cd1ca5ab25dec85f62ac007410

Size: 18,171,632 bytes
acl2-books (acl2-books_7.4dfsg-4_ppc64el.deb)
SHA1: 57b80faba8185bec1703168ff0807b0a61508832
SHA256: 5b7a1f2f1aef620c6fbd1d2593779f40c8e0c3f08c5956fa6ea7c94f84602b42

Size: 122,972,742 bytes
acl2-infix (acl2-infix_7.4dfsg-4_ppc64el.deb)
SHA1: 1d26a27776977bd54284c4288d6f6f0ab8d2b685
SHA256: 25c4279da8b95c48f4635bc01911c140bff86c2e98238e801ed9abfbe0ae79dc

Size: 442,736 bytes

Other checksums

Submissions

Submitted
Fri, 26 Oct 2018 08:31:09 +0000
Signed by
0x99CCF26EB5F752D2

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1504048276"