Source
acl2
Version
8.2dfsg-3
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Thu, 2 Jan 2020 04:28:16 +0000
Build-Path
/build/acl2-K0zzQx/acl2-8.2dfsg

First submitted
Thu, 2 Jan 2020 06:48:28 +0000
SHA1 of .buildinfo
1506c33c16d38ad32e226d8f4a0a587dda3d42f6

Binaries

acl2 (acl2_8.2dfsg-3_mips64el.deb)
SHA1: e38c436af2a5311df5bf03941915a1c1630aa2fa
SHA256: 398f067af52d654b5cdb1dde7ac3acb032db9a694fdb15ac4964071a0eab9120

Size: 20,265,744 bytes
acl2-books (acl2-books_8.2dfsg-3_mips64el.deb)
SHA1: 9905a99cd9af827dd1fe21124c5cfad6d225ef92
SHA256: 8de79e344f3454b88a1618b6178ff274971b56652cd279773a6a1eb7c430cb37

Size: 182,107,204 bytes
acl2-infix (acl2-infix_8.2dfsg-3_mips64el.deb)
SHA1: de92f8f1ce341ffbfa976826b33414289e4d122b
SHA256: 6778a4671bbb71dde15b16befd4040890dd2148d757d10df806233a5ecb1b6e1

Size: 508,016 bytes

Other checksums

Submissions

Submitted
Thu, 2 Jan 2020 06:48:29 +0000
Signed by
0x3443710A81671ED1

Environment


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