Source
acl2
Version
8.2dfsg-2
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sat, 28 Dec 2019 18:51:56 +0000
Build-Path
/build/acl2-HrQ93m/acl2-8.2dfsg

First submitted
Sun, 29 Dec 2019 00:27:19 +0000
SHA1 of .buildinfo
985fe17f09201d319d43cdcf5edb1024565c8134

Binaries

acl2 (acl2_8.2dfsg-2_mips64el.deb)
SHA1: 3481bb9867af5d4604fe74d9a2aa859bfb737f16
SHA256: aee1092b388ae1d6eb3469565cd62b9d6d603d6202c69a74f8d8ddc210502ddc

Size: 20,123,268 bytes
acl2-books (acl2-books_8.2dfsg-2_mips64el.deb)
SHA1: 0c0eeff3f984b910b565d9a1dd1f05fb1f8782f3
SHA256: 43cefaf2ece1063bcc2e5ea98989a7ac15c3a97d75545118d5a4808eeb109717

Size: 182,179,536 bytes
acl2-infix (acl2-infix_8.2dfsg-2_mips64el.deb)
SHA1: 9aa444403badf3f34b90c91b049c75d8d2080520
SHA256: cf89a7cc951a7965997e0a327f17c4faa08bc61dd74f7f66d204a5fc17d98268

Size: 506,092 bytes

Other checksums

Submissions

Submitted
Sun, 29 Dec 2019 00:27:19 +0000
Signed by
0x18D9A606FC5C4C87

Environment


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