Source
acl2
Version
8.1dfsg-1
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Mon, 18 Mar 2019 18:19:43 +0000
Build-Path
/build/acl2-sExzgi/acl2-8.1dfsg

First submitted
Tue, 19 Mar 2019 00:10:11 +0000
SHA1 of .buildinfo
44aa777ba252773200d8bfc90d10cd021eba1b6a

Binaries

acl2 (acl2_8.1dfsg-1_mips.deb)
SHA1: 02e28cf9e241a9fc99545caa9d1cd89c03df02ce
SHA256: c1c809defad33a1ff4299c088738ab867a9380ac8f00bbc7175a7cbd141fda8d

Size: 19,331,480 bytes
acl2-books (acl2-books_8.1dfsg-1_mips.deb)
SHA1: 24d3d53c5081a5111f97840a98a29b2452042d71
SHA256: 74e48f639d9f8362fb45eb701431e7c923c541996f5ad6d35986abbb109a09dc

Size: 150,225,476 bytes
acl2-infix (acl2-infix_8.1dfsg-1_mips.deb)
SHA1: ab0b8cb16ba7545de9ce44053a584528fd45567d
SHA256: e0e6674e8b0a406a3d0ebbc2f6ae111a86a9fd6f5f426a33148e3f59fbcb6d31

Size: 492,848 bytes

Other checksums

Submissions

Submitted
Tue, 19 Mar 2019 00:10:11 +0000
Signed by
0x3A704F5151363FC6

Environment


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