acl2_8.1dfsg-2_i386.buildinfo (view)

Source
acl2
Version
8.1dfsg-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 31 Mar 2019 10:08:29 +0000
Build-Path
/build/acl2-kIFyM2/acl2-8.1dfsg

First submitted
Sun, 31 Mar 2019 12:10:45 +0000
SHA1 of .buildinfo
2aea5dfd09eddadf1ed1103898073ee26a0d3b6f

Binaries

acl2 (acl2_8.1dfsg-2_i386.deb)
SHA1: 206ab3645c48e948a719db6867159831d0c92067
SHA256: 8e53870e100d3463aa75acc7873c5c464122bb3b21302185318558b1d264a293

Size: 18,511,236 bytes
acl2-books (acl2-books_8.1dfsg-2_i386.deb)
SHA1: 4320c463644485e260d7de81c35926ba8681e9ea
SHA256: 1a5180c0e6a7fe9fa29eb71da92e86d278386d2cfa854082f29bf1506d6a7d72

Size: 144,249,980 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-2_i386.deb)
SHA1: 4b82064e94b0ae1ef3f773486f48e33d5be634b4
SHA256: 9942074b496bf2ab465381757012f9b057996ce2693549efafe9bb735b37d262

Size: 452,044 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

4exgzymm
Submitted
Sun, 31 Mar 2019 12:10:45 +0000
Signed by
0x5662D826D856701C

Environment


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