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

Source
acl2
Version
8.2dfsg-3
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 31 Dec 2019 09:46:41 +0000
Build-Path
/build/acl2-qPvovb/acl2-8.2dfsg

First submitted
Tue, 31 Dec 2019 12:45:28 +0000
SHA1 of .buildinfo
ab2c4e48d4fb42c8467369b3edb6935b263c96f7

Binaries

acl2 (acl2_8.2dfsg-3_ppc64el.deb)
SHA1: bc19f286b6197535de168a0ceea8c57185dde9e5
SHA256: f1be9994e63031396b0baff9166ee5cd1785dfd80e814828891ef364caf884a7

Size: 22,365,996 bytes
acl2-books (acl2-books_8.2dfsg-3_ppc64el.deb)
SHA1: 76590575f806550b2eeebb427c95d137028fef65
SHA256: 1bfd35a24c105eba6fac07c55a26104192d8f886e8d072e85f8cfdf8310cdd4e

Size: 173,538,788 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-3_ppc64el.deb)
SHA1: 7bb6e0b226fc9e98c6e2a230ee9947d40fc4a5cb
SHA256: 0f64b2d7ba3f42f2cd2da501103d6aca569e329ed14893e7cd1e6c49e54250b0

Size: 509,616 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

ax7g4rfz
Submitted
Tue, 31 Dec 2019 12:45:29 +0000
Signed by
0xAA4B2251A9397852

Environment


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