Source
acl2
Version
7.4dfsg-3.1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sat, 12 Aug 2017 17:07:00 +0000
Build-Path
/build/acl2-1ood6I/acl2-7.4dfsg

First submitted
Sat, 27 Oct 2018 16:09:52 +0000
SHA1 of .buildinfo
ca41ea1b84b4403bc2533f2702f1fe56e7730927

Binaries

acl2 (acl2_7.4dfsg-3.1_mips64el.deb)
SHA1: f8d373a6776b56e223564c4b60d39d1d765428bc
SHA256: 8d2e8d5b015bbdd2e8293ac1b49d6b89fed44ff099e9887b9c47f8d58127c019

Size: 17,224,646 bytes
acl2-books (acl2-books_7.4dfsg-3.1_mips64el.deb)
SHA1: 28737b0573306ab7239f5ddd0ded3b2d5c3a9f43
SHA256: cfe5e16b006fed0cd59297a1772ac405e18fb0a3d08547b18964ef9a14c3a390

Size: 131,599,004 bytes
acl2-infix (acl2-infix_7.4dfsg-3.1_mips64el.deb)
SHA1: b8a35db923d8398ba0a7d7113b2647447a4dc486
SHA256: 708677e793bcd70cc0d3961acd3ef8461eeb689286c7a6835ceff2e9aacbd722

Size: 446,814 bytes

Other checksums

Submissions

Submitted
Sat, 27 Oct 2018 16:09:52 +0000
Signed by
0x387644379DEB80AA

Environment


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