acl2_8.1dfsg-5_amd64.buildinfo (view)

Source
acl2
Version
8.1dfsg-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 9 Dec 2019 04:04:07 +0000
Build-Path
/build/acl2-OhfE0a/acl2-8.1dfsg

First submitted
Mon, 9 Dec 2019 06:28:43 +0000
SHA1 of .buildinfo
9bc0bce1ca86944dac49ecd8045f86ddc20b6906

Binaries

acl2 (acl2_8.1dfsg-5_amd64.deb)
SHA1: b1c3ac77d9d68ee339312e0e08ae8c3c0112126d
SHA256: f0e49cf611b746f41960947e7dd7cadf37174b7c7d037215999af0e17699e45c

Size: 20,306,524 bytes
acl2-books (acl2-books_8.1dfsg-5_amd64.deb)
SHA1: 28040e0c83d13a2b8822b085ae76d35253b34e3e
SHA256: 09ab943937c41bb747b3875afb1d4be2082fcc3734f2f559515aaa3efe1dba1f

Size: 163,974,292 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-5_amd64.deb)
SHA1: 7feeb673dde819d7f27bd2844e68dd391145db41
SHA256: ecdf9c0e01ba6df7bfd2af773716419ea73eab06914029576e93524339284827

Size: 489,456 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

iyvfezbt
Submitted
Mon, 9 Dec 2019 06:28:44 +0000
Signed by
0xE9BEE1DBDA111424

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575818032"