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

Source
acl2
Version
8.1dfsg-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 3 Mar 2019 16:22:15 +0000
Build-Path
/build/acl2-9OSlo4/acl2-8.1dfsg

First submitted
Sun, 3 Mar 2019 18:11:41 +0000
SHA1 of .buildinfo
fd8e915cdde2330daf66cec99b58f84abd4cdb77

Binaries

acl2 (acl2_8.1dfsg-1_i386.deb)
SHA1: b3757d8ae1e6c11c34ec537e3a809c2422fdc7a6
SHA256: 482c7d4deae11daccd89c7e7880ae2f33659a86965171b5e0419a6d154541bbe

Size: 18,445,628 bytes
acl2-books (acl2-books_8.1dfsg-1_i386.deb)
SHA1: f9e4337737144ed68078685e58b33e205aad535b
SHA256: 065cfcbd1c587c646abe642381843f99dd46d4554b1e209fed11bb23f00f0c6d

Size: 69,398,020 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-1_i386.deb)
SHA1: 04536cce86f9f510bd3ec4cf39e46896d9c2f4c7
SHA256: 2ddbde8f858da5484b2005c1971fcaa92d4f25da6996954cebf02dcc558491ec

Size: 451,956 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

wq4jqwu4
Submitted
Sun, 3 Mar 2019 18:11:41 +0000
Signed by
0xB6798C98C3897D0D

Environment


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