Source
acl2
Version
8.1dfsg-3
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 4 Apr 2019 19:40:00 +0000
Build-Path
/build/acl2-pbo5ks/acl2-8.1dfsg

First submitted
Fri, 5 Apr 2019 00:10:42 +0000
SHA1 of .buildinfo
e91df41d16f5a05f7db129cd5f9a85306ca0b4b9

Binaries

acl2 (acl2_8.1dfsg-3_ppc64el.deb)
SHA1: 6ebf7a30455eded31360421c4e3bad0e70e104b0
SHA256: 652f76740bd98de2185aaad44877c4813fc8a0b455b1706268f232845e459e02

Size: 20,084,948 bytes
acl2-books (acl2-books_8.1dfsg-3_ppc64el.deb)
SHA1: 23b3056619389559b210a8f2e6b6ba5a296e41c8
SHA256: 7010f28edc1323a05338548781e335697a685110e43b853754e4e1aeaa84819d

Size: 162,921,696 bytes
acl2-infix (acl2-infix_8.1dfsg-3_ppc64el.deb)
SHA1: 527a5c51e06b2d61ab118c90676ae6a00ae8b4ba
SHA256: c65e738985f660ca43eca4c62ec481685783aec5e16ba67829867a40e2fab72e

Size: 502,148 bytes

Other checksums

Submissions

Submitted
Fri, 5 Apr 2019 00:10:43 +0000
Signed by
0xAC6E0DBB4E25D933

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1554299249"