Source
acl2
Version
7.4dfsg-4
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Wed, 4 Oct 2017 17:04:24 +0000
Build-Path
/build/acl2-N87Edl/acl2-7.4dfsg

First submitted
Fri, 26 Oct 2018 08:51:31 +0000
SHA1 of .buildinfo
bcab4c8cc4c4d0e0d12ce6ac43c11e9d7c61fcf7

Binaries

acl2 (acl2_7.4dfsg-4_mipsel.deb)
SHA1: 3068d326aaa296cde3d4189ce6bfc3a46db70016
SHA256: d4e10e9522eb65bfa02af7d739651f407dedc9ee3a758a6bce75803acae8768d

Size: 16,640,728 bytes
acl2-books (acl2-books_7.4dfsg-4_mipsel.deb)
SHA1: b8f239d8aa30635ba44f329044876e3ab9eaa29b
SHA256: 5d0efffb4471a7a21ee2d89410af2b3aa8a76602e34959394e04d63f2f607372

Size: 123,340,138 bytes
acl2-infix (acl2-infix_7.4dfsg-4_mipsel.deb)
SHA1: 6cf407db2eadeca585a8cffedcfa2a5aeb11740a
SHA256: 7f5de7be922ce547f6d095f5f2001c1e6417e3eaf0a7385b4f5bb17089e0df14

Size: 450,886 bytes

Other checksums

Submissions

Submitted
Fri, 26 Oct 2018 08:51:31 +0000
Signed by
0xAFC7683A346A938B

Environment


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