acl2_7.4dfsg-3_ppc64el.buildinfo (view)

Source
acl2
Version
7.4dfsg-3
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Fri, 9 Jun 2017 19:44:04 +0000
Build-Path
/build/acl2-Yt321x/acl2-7.4dfsg

First submitted
Sun, 28 Oct 2018 04:10:04 +0000
SHA1 of .buildinfo
ce8208838516728b2ad82f27af9ccd452e253f42

Binaries

acl2 (acl2_7.4dfsg-3_ppc64el.deb)
SHA1: 04b5f815c74d3541348cc57abeca6fb2f77e12d7
SHA256: bba66ec0c2897999a40f55360a3b9761d36c0df081dd8b604391c46ab93b0a18

Size: 18,574,746 bytes
acl2-books (acl2-books_7.4dfsg-3_ppc64el.deb)
SHA1: 697d7014c49b6aaa23b28928bffb93ce1a6a17bb
SHA256: f57f1c975a7956410e40b242045b3e8c3bde5a1243b4d9d92a8127da1583a0a3

Size: 120,976,904 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_7.4dfsg-3_ppc64el.deb)
SHA1: eb8ffbd0df7ee477c883155a702a65b2a8748c9c
SHA256: 814b560ea0fc5030ed49362fd5407151b59834793865a5942f7484af0d3d2c63

Size: 428,392 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

ecrekv43
Submitted
Sun, 28 Oct 2018 04:10:04 +0000
Signed by
0x8FCC58961C68D77D

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1496961291"