Source
acl2
Version
8.2dfsg-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 19 Dec 2019 23:41:50 +0000
Build-Path
/build/acl2-JbLtjQ/acl2-8.2dfsg

First submitted
Fri, 20 Dec 2019 01:03:34 +0000
SHA1 of .buildinfo
c76e04c38ef562d6652c83d33f01cdd8253c56dd

Binaries

acl2 (acl2_8.2dfsg-1_ppc64el.deb)
SHA1: 242ebebc3cd147e2e54d3d523c59702fc244198b
SHA256: e071be2c2b8c9c79b0213444d899b137b508d709d0252f897a1826b0d2881a7f

Size: 22,980,008 bytes
acl2-books (acl2-books_8.2dfsg-1_ppc64el.deb)
SHA1: 77891d93f5edb33208edca77587757b3eeba6c17
SHA256: 51abdaace8b3cf5828838f45a3b26391d192ad8be50c59d2f450631e7a141688

Size: 173,548,964 bytes
acl2-infix (acl2-infix_8.2dfsg-1_ppc64el.deb)
SHA1: 3b9c0e5560e1f6fae6ac2fdc606dcd017aebd05b
SHA256: af0b3509a114884f027ed9953ed47b841e841a5335581b6efa1b2151c7a02fb2

Size: 506,268 bytes

Other checksums

Submissions

Submitted
Fri, 20 Dec 2019 01:03:35 +0000
Signed by
0xECF065C4DB31787B

Environment


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