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

Source
acl2
Version
8.2dfsg-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 1 Jan 2020 20:50:20 +0000
Build-Path
/build/acl2-wzdbzQ/acl2-8.2dfsg

First submitted
Thu, 2 Jan 2020 00:32:14 +0000
SHA1 of .buildinfo
abb1d24a8d8b7db579b66ede9ab362b61f2b3c73

Binaries

acl2 (acl2_8.2dfsg-3_armhf.deb)
SHA1: ab3316a64f513d657d4d5a65c605127510e07918
SHA256: c81f45da2ef52ecd4c62026ccc1b4f5bf192520685f89eeeee1ab9055f6a9252

Size: 18,638,728 bytes
acl2-books (acl2-books_8.2dfsg-3_armhf.deb)
SHA1: 735ebcdee0411d41b6d6ff733265048a14dfa934
SHA256: 40e02689b0613fc5896e4f04b36b2e9604b0c8c45eda90cab86210b7f707c3be

Size: 158,533,636 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-3_armhf.deb)
SHA1: 7b6d0a60d815623046efeeb7f8fd7e6c1061e6f4
SHA256: 23d2bc8a1a463991f204c9ffa102331fc8a612690287a7de941c7b3bb292304a

Size: 466,368 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

svz4oxgb
Submitted
Thu, 2 Jan 2020 00:32:15 +0000
Signed by
0x4121BF61A17B96E8

Environment


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