acl2_7.4dfsg-4_mips64el.buildinfo (view)

Source
acl2
Version
7.4dfsg-4
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Thu, 5 Oct 2017 14:20:30 +0000
Build-Path
/build/acl2-B1eDbQ/acl2-7.4dfsg

First submitted
Fri, 26 Oct 2018 09:03:05 +0000
SHA1 of .buildinfo
9f12371c67c6a254759bc9546b08b85104ab7499

Binaries

acl2 (acl2_7.4dfsg-4_mips64el.deb)
SHA1: 1c35588ebd1ac2a50a27d0903399ed6a7568f00d
SHA256: 3c626f102401c562397f2a46180fcef50c12645dbec398fae21e9a7a04a1c5b1

Size: 17,159,994 bytes
acl2-books (acl2-books_7.4dfsg-4_mips64el.deb)
SHA1: 623dc1ba68ab59f05dc4d93cfd931dfc51be61fc
SHA256: 6557d97553a3c575d61e15eb11ca28ad6f103a8632a98b21fdc5932ea8d82a6f

Size: 131,573,264 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_7.4dfsg-4_mips64el.deb)
SHA1: ca7e31536b40a894935c7e681b787b5c702dd259
SHA256: d7939f81ce8549a43dea2c91b0777a82a2759a6b27d4a29ae9cbdecfd8bf599e

Size: 448,988 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

kdksquai
Submitted
Fri, 26 Oct 2018 09:03:05 +0000
Signed by
0xC063E892FE96326E

Environment


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