Source
acl2
Version
7.4dfsg-3.1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 10 Aug 2017 04:51:31 +0000
Build-Path
/build/acl2-OLFiGd/acl2-7.4dfsg

First submitted
Sat, 27 Oct 2018 15:48:21 +0000
SHA1 of .buildinfo
db1c64a8838e2ba4f444d7851bd0110365b9933a

Binaries

acl2 (acl2_7.4dfsg-3.1_i386.deb)
SHA1: 8e55918bf75f03b68a8c1ce094565a71cd9e62c2
SHA256: 25be2cd78aef8e60820b481f83eb082f77cdd8eeabcca87d8e177b7ba2e1119a

Size: 16,384,946 bytes
acl2-books (acl2-books_7.4dfsg-3.1_i386.deb)
SHA1: 00885e5ddbc5dec8ac26ff1c871f4454b31aee0c
SHA256: 7c7139e5afbfae4e829685a1a47311499a3035aa53b49701f50f2e94b845d33b

Size: 105,924,216 bytes
acl2-infix (acl2-infix_7.4dfsg-3.1_i386.deb)
SHA1: c117cca9f79f16e1dfef2fe607fcf7d24cd92475
SHA256: 8d3ed56967b08a46170aafa210e0c66e7f7928e8d4c2d126fa9da4a513b41384

Size: 397,696 bytes

Other checksums

Submissions

Submitted
Sat, 27 Oct 2018 15:48:21 +0000
Signed by
0x69616CDA9356D1F3

Environment


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