Source
acl2
Version
7.4dfsg-3.1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 10 Aug 2017 08:23:20 +0000
Build-Path
/build/acl2-RxUsoS/acl2-7.4dfsg

First submitted
Sat, 27 Oct 2018 15:49:49 +0000
SHA1 of .buildinfo
1a423912f65c5fdaa06a960c9c1f3fd94d854e20

Binaries

acl2 (acl2_7.4dfsg-3.1_amd64.deb)
SHA1: d9a8434676103367decdb3d89414c6547432958c
SHA256: cbf6a06404a6e8773dc14a933966f26c8eabf14b76021ef11ba172bb5c06e9ac

Size: 18,031,524 bytes
acl2-books (acl2-books_7.4dfsg-3.1_amd64.deb)
SHA1: 258fdeff46821d75097b0a503e3bc60b3319873b
SHA256: aae9ae997622508688174eedea22bf4e6c5f6957105f91715e7e9ff4b887c7c3

Size: 124,417,068 bytes
acl2-infix (acl2-infix_7.4dfsg-3.1_amd64.deb)
SHA1: 9356c6a4a2888125068122a8e476174f929dd4c3
SHA256: 4f9de68660066d6adb92bc5d685e339267a0f050b4a558534a7360e042397709

Size: 431,674 bytes

Other checksums

Submissions

Submitted
Sat, 27 Oct 2018 15:49:49 +0000
Signed by
0xD78805DE68F9D583

Environment


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