Source
acl2
Version
7.4dfsg-2
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Thu, 1 Jun 2017 14:10:13 +0000
Build-Path
/build/acl2-KJgP68/acl2-7.4dfsg

First submitted
Sun, 28 Oct 2018 03:55:18 +0000
SHA1 of .buildinfo
aa6a1670b6266387e05fef4769fd7081d654b901

Binaries

acl2 (acl2_7.4dfsg-2_mips.deb)
SHA1: 7c010c5dd56fac9ae001578142f1f96621792452
SHA256: 6bd0acff73222f8ab9c985d50b91aa50f95cb94a8f607028ecbe8f303d53c8df

Size: 16,498,070 bytes
acl2-books (acl2-books_7.4dfsg-2_mips.deb)
SHA1: 0a66a032dffc77d53644591894da8ee6c0015e4b
SHA256: ffffeb7a7950cef7854005912509c0464ebd349455bd98214594dcfca7bf0255

Size: 116,986,716 bytes
acl2-infix (acl2-infix_7.4dfsg-2_mips.deb)
SHA1: 65835239e6896b512efb07795956ab47b2e89749
SHA256: 142a2eaaf6b745f503ef05f10906024d291a68d1c16d58deb10c6896a2760e12

Size: 424,902 bytes

Other checksums

Submissions

Submitted
Sun, 28 Oct 2018 03:55:18 +0000
Signed by
0xB25FEF84F32A064D

Environment


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