Source
acl2 (8.1dfsg-3)
Version
8.1dfsg-3+b1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 22 Jul 2019 03:14:32 +0000
Build-Path
/build/acl2-5P3dw7/acl2-8.1dfsg

First submitted
Mon, 22 Jul 2019 07:59:33 +0000
SHA1 of .buildinfo
c2008aeca279dedba97edb416853ccbc5d7237f8

Binaries

acl2 (acl2_8.1dfsg-3+b1_ppc64el.deb)
SHA1: 8bcc760149a927abee1df77b44be705084d430df
SHA256: 67dd5f11922d76e9c4ed77f3ebbf36131442a570ca06fc7ce2996f80850be53c

Size: 20,094,348 bytes
acl2-books (acl2-books_8.1dfsg-3+b1_ppc64el.deb)
SHA1: ac23fc5afe31dd932dd627abb399cbe078489449
SHA256: 69fe386c2f3a2da95a3c59f0943ad6461dd7e78c2df2d760388ba524f864755e

Size: 162,887,024 bytes
acl2-infix (acl2-infix_8.1dfsg-3+b1_ppc64el.deb)
SHA1: 8251d828d257ec2f1875d215c8d3b5ba11d63279
SHA256: 7ff61422ae721b172b7d3404d9c0d1692fd830b6eb3148bedacada03cc465571

Size: 501,820 bytes

Other checksums

Submissions

Submitted
Mon, 22 Jul 2019 07:59:33 +0000
Signed by
0xAA4B2251A9397852

Environment


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