Source
acl2
Version
8.1dfsg-1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Wed, 6 Mar 2019 17:41:06 +0000
Build-Path
/build/acl2-CTUI3O/acl2-8.1dfsg

First submitted
Wed, 6 Mar 2019 18:11:39 +0000
SHA1 of .buildinfo
664a55ba8aabcd0fc1c71c5278ef72656c5361b7

Binaries

acl2 (acl2_8.1dfsg-1_mipsel.deb)
SHA1: eed2930bc6b207392ad6b56c984ebe5e0446ac72
SHA256: 1625e31abffcf44f51969d391887ebfe064d24852a77b7b5ee4749c7ba886fc2

Size: 19,476,660 bytes
acl2-books (acl2-books_8.1dfsg-1_mipsel.deb)
SHA1: 95f07e1973bd47c1838999b3b1e4081fe2216c42
SHA256: c01b864e9ad037b1c15d32e48d5b3f829d5573a2673ad1614b3cdc1051f10094

Size: 153,380,492 bytes
acl2-infix (acl2-infix_8.1dfsg-1_mipsel.deb)
SHA1: 798240b967cc5673ea44749617c748e28be7729a
SHA256: 977066a7967dc0a530b08a722fa867b479ad71d40a96e613974f2145bb86894e

Size: 512,604 bytes

Other checksums

Submissions

Submitted
Wed, 6 Mar 2019 18:11:40 +0000
Signed by
0x9E295DF36F3AE1C6

Environment


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