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

Source
acl2
Version
8.0dfsg-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sat, 13 Jan 2018 20:05:14 +0000
Build-Path
/build/acl2-1dTJ3s/acl2-8.0dfsg

First submitted
Sat, 27 Oct 2018 16:48:10 +0000
SHA1 of .buildinfo
c9dfc71290b269dc654bab972a95d86582bd890e

Binaries

acl2 (acl2_8.0dfsg-1_ppc64el.deb)
SHA1: 13cfe36578262f32649590eb23831575baf57b5b
SHA256: 596516ec8a6dd1aaedd882bfddbe4f650e0f137b9162741125b48f951ecfd4f3

Size: 19,444,024 bytes
acl2-books (acl2-books_8.0dfsg-1_ppc64el.deb)
SHA1: 353b10067d3ce3919166dc8b82b972f59b0601d4
SHA256: 25bd19848fb951880a9ae4ff8bad1c3780ef931691f71d613377e20b00c96f87

Size: 136,808,876 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.0dfsg-1_ppc64el.deb)
SHA1: 6c8d8d19f4b7cb1f7f336ba8ced9d748fb04b079
SHA256: fb0d674ec3a3476d7e69daa3adce4893e909ed3cb2e290726cc9c94909dedf47

Size: 444,500 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

vsndfazz
Submitted
Sat, 27 Oct 2018 16:48:10 +0000
Signed by
0x99CCF26EB5F752D2

Environment


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