Source
acl2
Version
8.0dfsg-1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Tue, 16 Jan 2018 03:30:50 +0000
Build-Path
/build/acl2-unURz4/acl2-8.0dfsg

First submitted
Sat, 27 Oct 2018 17:09:25 +0000
SHA1 of .buildinfo
c4763349c1a7c3e1c14ebb81fb92195b6676550a

Binaries

acl2 (acl2_8.0dfsg-1_mips64el.deb)
SHA1: 0b12cb5fbe24ed77ef27b0b1bf5d90787718bc5d
SHA256: 6e42808750db3ce70d77d10f36c7268d0bb83f38517a514ba094d764304374c1

Size: 17,248,312 bytes
acl2-books (acl2-books_8.0dfsg-1_mips64el.deb)
SHA1: 3584f1bcae0a7a088128e02bc6e51042a24f12e7
SHA256: 0d6fda9ed5bce60fe1e80d85ddee8a579c020b8a0e8f9450574be9450e48c76c

Size: 146,826,020 bytes
acl2-infix (acl2-infix_8.0dfsg-1_mips64el.deb)
SHA1: 588500ddfc2a975836e64f24d85be6dfa83eb3f4
SHA256: dc1c341469bfe009ab947f535d2ec34122a76925707b4965d8a01b8ed12d874f

Size: 450,404 bytes

Other checksums

Submissions

Submitted
Sat, 27 Oct 2018 17:09:26 +0000
Signed by
0x914369D93E8BE603

Environment


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