Source
acl2
Version
8.1dfsg-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 3 Mar 2019 18:24:56 +0000
Build-Path
/build/acl2-GC4MU4/acl2-8.1dfsg

First submitted
Mon, 4 Mar 2019 00:10:11 +0000
SHA1 of .buildinfo
3ee6d6a4656627b605b2af0c265c4a6c2889156f

Binaries

acl2 (acl2_8.1dfsg-1_ppc64el.deb)
SHA1: 3bca870077ab33e79d48c2d60aab84e835a4a3d0
SHA256: b7229792cfc54a1906ea6f664e8f3b9edb1548891003b19d174737b100355da0

Size: 20,062,072 bytes
acl2-books (acl2-books_8.1dfsg-1_ppc64el.deb)
SHA1: 8fd3eb5fa8b8d02b36d5b35cd03a9f3dccb9174d
SHA256: 0d2071f09c55224d42f5f0359c94b33221b397b1f1f6e1234da2ce7e592aa2e4

Size: 162,946,104 bytes
acl2-infix (acl2-infix_8.1dfsg-1_ppc64el.deb)
SHA1: 28f26d23d1167dfa4474e22064cbc14a0d46cb0e
SHA256: 7a4125d0c5ac22ed2bd7764efd5088796ed876169038fe97f1b5721ed4cb3f08

Size: 503,176 bytes

Other checksums

Submissions

Submitted
Mon, 4 Mar 2019 00:10:11 +0000
Signed by
0xAC6E0DBB4E25D933

Environment


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