acl2_8.2dfsg-3_amd64.buildinfo (view)

Source
acl2
Version
8.2dfsg-3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 31 Dec 2019 13:40:53 +0000
Build-Path
/build/acl2-LOlBJh/acl2-8.2dfsg

First submitted
Tue, 31 Dec 2019 18:37:05 +0000
SHA1 of .buildinfo
d0baecbbc3ab119f2d858e1fc68d8482354eaa14

Binaries

acl2 (acl2_8.2dfsg-3_amd64.deb)
SHA1: 3400708ca2f171557abc56e44c0152fb8cf16111
SHA256: e3bedfbf175b582fc00f88903ebb16cef2f07589cbb7b3e6bd8c20f78e16b789

Size: 21,973,360 bytes
acl2-books (acl2-books_8.2dfsg-3_amd64.deb)
SHA1: 6df6b5444a0ff688387dd0fabd1a7326705d7964
SHA256: 66b9d19d8197a913d7e72e3f275e39c1e689e6a51c23162690015e062d6b88ee

Size: 171,742,700 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-3_amd64.deb)
SHA1: 1f4b36d88632c033b2bd901996fe4e4614491059
SHA256: bd59e7d85d5fa98fecdb72e6bc2373f691d840b67e09b29f736391eb20e8e248

Size: 491,232 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

awt4xika
Submitted
Tue, 31 Dec 2019 18:37:05 +0000
Signed by
0xD4D51947CB93A7C6

Environment


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