acl2_7.4dfsg-4_i386.buildinfo (view)

Source
acl2
Version
7.4dfsg-4
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 2 Oct 2017 23:32:13 +0000
Build-Path
/build/acl2-089ZrU/acl2-7.4dfsg

First submitted
Fri, 26 Oct 2018 08:32:37 +0000
SHA1 of .buildinfo
24a20e16a13f4325d1ddac7bbb555b7356c59068

Binaries

acl2 (acl2_7.4dfsg-4_i386.deb)
SHA1: 5b97c3463184eb369e186cd408a7f5ed8ae8995b
SHA256: b154306e4b816d1dde50b2022b73848ca41f65276747e3f85fd3f929bb468752

Size: 16,204,058 bytes
acl2-books (acl2-books_7.4dfsg-4_i386.deb)
SHA1: b39455990118cec026e9a39e9c6bcd57294a9b61
SHA256: f0dffa2b500a7a671d77217cda0c546873f68e585b46b0032b8d92ddd2bed57e

Size: 107,173,252 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_7.4dfsg-4_i386.deb)
SHA1: 4ca477c26ca702b7a260d8ac2b14dd8b9e68f9be
SHA256: b5be146e851b80d0f5435795e8610a25c3d88d6eb20fac85f1b22d4e2544e179

Size: 399,052 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

if4mxw4f
Submitted
Fri, 26 Oct 2018 08:32:37 +0000
Signed by
0xE8B8553D9A35F676

Environment


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