Source
acl2
Version
8.1dfsg-5
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 8 Dec 2019 22:16:42 +0000
Build-Path
/build/acl2-0OjQMV/acl2-8.1dfsg

First submitted
Mon, 9 Dec 2019 01:17:13 +0000
SHA1 of .buildinfo
34707a41b56a818c64946bacb052d9b18d23fc33

Binaries

acl2 (acl2_8.1dfsg-5_i386.deb)
SHA1: 61578b054f2c8ab3005355e79e9a809f29e44678
SHA256: 55d5d0341e63bda840fd505fe67a873df9c023cc1f85634be82f0af7b721185a

Size: 18,635,352 bytes
acl2-books (acl2-books_8.1dfsg-5_i386.deb)
SHA1: 463036b3e6316b545febed7aaa1c77cf8b0ea5a1
SHA256: d1d322b80960b2b1ba4ce0a740df69b23abff161871a5132564d2f6c0ba46f91

Size: 125,771,992 bytes
acl2-infix (acl2-infix_8.1dfsg-5_i386.deb)
SHA1: 995ae906483606b49a36e0910da108f9569213e8
SHA256: 999df03c7445662cfee5c0d3976928c0ef0bf40be7cce8977b586edb7e022830

Size: 497,860 bytes

Other checksums

Submissions

Submitted
Mon, 9 Dec 2019 01:17:14 +0000
Signed by
0xB6798C98C3897D0D

Environment


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