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

Source
acl2
Version
7.4dfsg-3.1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 10 Aug 2017 00:01:31 +0000
Build-Path
/build/acl2-gpj8Hg/acl2-7.4dfsg

First submitted
Sat, 27 Oct 2018 15:45:33 +0000
SHA1 of .buildinfo
6bc0354f6bb0cf87f564786a30ddef0ecceba031

Binaries

acl2 (acl2_7.4dfsg-3.1_ppc64el.deb)
SHA1: 6f1e53c92ee4218e8452a2fe18d3cabfc40ea41d
SHA256: c96b2c00c1535cdd1aaaa8de725f59744b8c2afe7b168c1833e2d372c1027f16

Size: 18,678,886 bytes
acl2-books (acl2-books_7.4dfsg-3.1_ppc64el.deb)
SHA1: 68df50ab16bd5533d616b0e1d098559e94e4ef6f
SHA256: a83fe7f684ea01c8b9fff38bbdf433a5c82379efcbef7fdee51ab7e82e6f9f64

Size: 123,022,090 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_7.4dfsg-3.1_ppc64el.deb)
SHA1: fb8edf0a032d963f9da808c7a25163dddb723281
SHA256: f6911c5333c1e96bae284a204c8b48155f4c2908162da6aa202dc3deec5b43e2

Size: 443,752 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

q4pczfns
Submitted
Sat, 27 Oct 2018 15:45:34 +0000
Signed by
0x99CCF26EB5F752D2

Environment


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