acl2_8.1dfsg-3_armel.buildinfo (view)

Source
acl2
Version
8.1dfsg-3
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sat, 6 Apr 2019 09:12:28 +0000
Build-Path
/build/acl2-tducJb/acl2-8.1dfsg

First submitted
Sat, 6 Apr 2019 12:10:38 +0000
SHA1 of .buildinfo
dd23b8cf9539058f8114c7c83210fb59c9db9164

Binaries

acl2 (acl2_8.1dfsg-3_armel.deb)
SHA1: ab7a8cfe583bebb677e0b5c555393d32eed2d61d
SHA256: dc4beca5b9083155da2d767d056ef1595ce7d074441a387d0b2c4f02e735b4d9

Size: 17,268,756 bytes
acl2-books (acl2-books_8.1dfsg-3_armel.deb)
SHA1: 1f806d8b10342c4c088f3fd40796b0c6d3a6d951
SHA256: eb2faf5bfd76f3bcfe52120d12e5d0249826f7fdf6de8cd7ef4acb852697d9fe

Size: 146,787,624 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-3_armel.deb)
SHA1: 34eeb4b590e709ca12430c922e58c1d7be807f51
SHA256: 4b6d8136e45bd2b3b2a043740f311e4f8d23e6b1a9153ca919a6be46ab6f7484

Size: 474,180 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

wuofviv4
Submitted
Sat, 6 Apr 2019 12:10:38 +0000
Signed by
0xFBB4B5A22184DACF

Environment


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