Source
acl2
Version
8.2dfsg-1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Mon, 23 Dec 2019 03:53:37 +0000
Build-Path
/build/acl2-ElQPTf/acl2-8.2dfsg

First submitted
Mon, 23 Dec 2019 06:50:21 +0000
SHA1 of .buildinfo
2084ad7056dafb8f70ff4d504edda528a2671eab

Binaries

acl2 (acl2_8.2dfsg-1_mipsel.deb)
SHA1: faccb06bc694b32aa6ccf8b6da6074c98bd29a82
SHA256: b3b5eac3d924c1e838189d8310bf05a4533632b2891db91692e41a840dbd33ca

Size: 19,278,748 bytes
acl2-books (acl2-books_8.2dfsg-1_mipsel.deb)
SHA1: aefcbe815c25dd510041bf674852c803a8ea3ed8
SHA256: 50ac2ac0913249b8fd36573fe89049421c1983ec9b0334ff06ffe89157a2a6ed

Size: 168,450,828 bytes
acl2-infix (acl2-infix_8.2dfsg-1_mipsel.deb)
SHA1: d683e2a3fca9fc5e26ffaa6e9523ee05b5d8497f
SHA256: 49599710e714bc1a8404c8284dcd636b5dbe7843f132185331d8adf928dbb845

Size: 511,768 bytes

Other checksums

Submissions

Submitted
Mon, 23 Dec 2019 06:50:22 +0000
Signed by
0xB075D1D099E610D9

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1576769407"