acl2_8.1dfsg-2_ppc64el.buildinfo (view)

Source
acl2
Version
8.1dfsg-2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sat, 30 Mar 2019 21:16:46 +0000
Build-Path
/build/acl2-5519eB/acl2-8.1dfsg

First submitted
Sun, 31 Mar 2019 00:10:45 +0000
SHA1 of .buildinfo
97533566a5d61455a3b62384f95268a6b263591f

Binaries

acl2 (acl2_8.1dfsg-2_ppc64el.deb)
SHA1: 70cb3162562ced7f14867e0cdf02f258b44b510f
SHA256: f80af8c9599aa67f0c574996991e227aebd351b878e1f06b8b338365d4c38e65

Size: 20,111,576 bytes
acl2-books (acl2-books_8.1dfsg-2_ppc64el.deb)
SHA1: 6bcbfd43404e7380a45ca54ecb85c44acce9ba28
SHA256: d1ceaaaf3aac6745e68a8edb85abe46620c36ab36fe851bc4cc0e41410f46834

Size: 162,858,612 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-2_ppc64el.deb)
SHA1: ec8d36ee1fad36c5305d4cf50f2029fe6cd2d623
SHA256: d9189f577b396efbf6e5026f89b048b1679697ed93d1a10489b156cd76fd102a

Size: 502,272 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

egpvbpec
Submitted
Sun, 31 Mar 2019 00:10:45 +0000
Signed by
0xAC6E0DBB4E25D933

Environment


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