acl2_8.1dfsg-1_arm64.buildinfo (view)

Source
acl2
Version
8.1dfsg-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 4 Mar 2019 00:22:53 +0000
Build-Path
/build/acl2-BcuVpR/acl2-8.1dfsg

First submitted
Mon, 4 Mar 2019 06:10:24 +0000
SHA1 of .buildinfo
2e4e7ef480223c7e3bdde9deb77600eaecc1d532

Binaries

acl2 (acl2_8.1dfsg-1_arm64.deb)
SHA1: 4031056629804fdadefb202159a89b8148d85f0d
SHA256: 73acc2b7d346b3d249fee58a67d4c6ca694c4d8051c6a31376a6c58fc987a03f

Size: 19,511,980 bytes
acl2-books (acl2-books_8.1dfsg-1_arm64.deb)
SHA1: 716236877a004f7475a6fb096346bf733904f401
SHA256: 71c51f9d62373a758aeb4fdbf1d9b395621de87a1146b78d98468f2723dd55a1

Size: 160,477,564 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-1_arm64.deb)
SHA1: 14e1a3cf0d2f92b120603927d62fa371010eac95
SHA256: 3ddf02ab579a190f6b2b0b1380469920ea46a4abe8e760454825cbfd569ba781

Size: 475,524 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

bjvtxgug
Submitted
Mon, 4 Mar 2019 06:10:25 +0000
Signed by
0xE611BE85831E4433

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1551376739"