acl2_7.4dfsg-3_armhf.buildinfo (view)

Source
acl2
Version
7.4dfsg-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 9 Jul 2017 11:30:14 +0000
Build-Path
/build/acl2-9petnr/acl2-7.4dfsg

First submitted
Sat, 27 Oct 2018 21:41:39 +0000
SHA1 of .buildinfo
a27ab65c8132b150814906552c6c74096186e363

Binaries

acl2 (acl2_7.4dfsg-3_armhf.deb)
SHA1: eaafc17c36d246d515a2aeba08ac93e41605b612
SHA256: 679d129e342d15286c76082e923045e5c34f3cdc3e664a374c35cedbe717093c

Size: 15,126,100 bytes
acl2-books (acl2-books_7.4dfsg-3_armhf.deb)
SHA1: 93481487e750b75efb670d7b0276877d9f031db0
SHA256: 10bc378fefa740ace1d46b342142cb9756d08828345bc0a7dd52442fa3742e08

Size: 113,718,340 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_7.4dfsg-3_armhf.deb)
SHA1: 2d4658aea2a9e9006a5e4b7125cf54cfbbe610be
SHA256: c5d883be551f43d05fc0e18c7fb1bf85218b4c8854620afd35d80cf73beff006

Size: 413,198 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

nawihgfo
Submitted
Sat, 27 Oct 2018 21:41:40 +0000
Signed by
0x9B1376D7888B346A

Environment


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