acl2 (8.0dfsg-1)_8.0dfsg-1+b1_armel.buildinfo (view)

Source
acl2 (8.0dfsg-1)
Version
8.0dfsg-1+b1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Thu, 14 Feb 2019 12:31:31 +0000
Build-Path
/build/acl2-gmn3wq/acl2-8.0dfsg

First submitted
Thu, 14 Feb 2019 18:10:25 +0000
SHA1 of .buildinfo
27e527193505578fb15c6a159d361accf446108b

Binaries

acl2 (acl2_8.0dfsg-1+b1_armel.deb)
SHA1: 41a28ff1812cc53e72b7a4449661e9589de6dcec
SHA256: a79e42b92dfe742bbf7ee4e39f7664b44c746a7c77056a51e523d409d2a71f93

Size: 16,726,192 bytes
acl2-books (acl2-books_8.0dfsg-1+b1_armel.deb)
SHA1: 0e58a6b64ade21b5d6fd4067f1a84469e0378ba7
SHA256: baa1cbb6d0b8e6f3eebb489eab6bdd84f125d38d0800f5e3a92d620382a27de0

Size: 133,435,480 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.0dfsg-1+b1_armel.deb)
SHA1: cac4bceea44cbbdc947f0d921e06b5ed9f6dc970
SHA256: ca86ee228860ff182c640e66e7825578fb3e857fceeaf6c40db75d07c1e4fc92

Size: 442,180 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

eou4eaaf
Submitted
Thu, 14 Feb 2019 18:10:25 +0000
Signed by
0x6691144F7DDE728B

Environment


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