Source
acl2
Version
8.1dfsg-3
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Sun, 7 Apr 2019 17:27:34 +0000
Build-Path
/build/acl2-W9Tj7Q/acl2-8.1dfsg

First submitted
Sun, 7 Apr 2019 18:46:40 +0000
SHA1 of .buildinfo
4403b123a48a2864decdf0af9bc92449e8771a2c

Binaries

acl2 (acl2_8.1dfsg-3_mips.deb)
SHA1: ab2d6ff3ea9f8ae2376c0cfcf64999575fd13b97
SHA256: 7131098f418cbee280918074e7b8fee4cf795ccaa6e1097d1ce17c7a64958892

Size: 19,245,140 bytes
acl2-books (acl2-books_8.1dfsg-3_mips.deb)
SHA1: a8fff7cd6f9d090301a4222bbf03b121e383309e
SHA256: b9aefe817a61fd216af9b0cdde768bd290292e555d62758a0094b91a72a42d58

Size: 150,998,480 bytes
acl2-infix (acl2-infix_8.1dfsg-3_mips.deb)
SHA1: 4277ffd54e03f07f4798442d74039048995e517b
SHA256: 855d831df12ff8abad1fa5be0f3c339b971b31c2aff71d80227baa799cac8aee

Size: 493,140 bytes

Other checksums

Submissions

Submitted
Sun, 7 Apr 2019 18:46:40 +0000
Signed by
0xC74AFEB58BA68831

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1554299249"