Source
acl2
Version
7.4dfsg-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 11 May 2017 12:56:44 +0000
Build-Path
/build/acl2-Mf8qV1/acl2-7.4dfsg

First submitted
Sun, 28 Oct 2018 07:49:24 +0000
SHA1 of .buildinfo
2471285e85ab0db5febbb82be0a6f935cd1e34c6

Binaries

acl2 (acl2_7.4dfsg-1_arm64.deb)
SHA1: 8248e3d575b65b8987ec944700b25a662046845a
SHA256: 4eee771d847f9647d452bab0898d3fd8443ca52a75e65ba2a96c74ab6e636146

Size: 17,741,764 bytes
acl2-books (acl2-books_7.4dfsg-1_arm64.deb)
SHA1: 569ac0fada5cb37c60a9a5e6027ea52beb1d0bd5
SHA256: 4e6c4f55893d0750aaef90ecc06cc1dd9a8145645f6049c4d1c12738014f57ae

Size: 123,183,458 bytes
acl2-infix (acl2-infix_7.4dfsg-1_arm64.deb)
SHA1: 07ff1a2fa22a6aa2bccfcb45c3552f6ac2ba01d8
SHA256: a59e807e6b8228dfe6f2c8b6334086733f19b267cd923f6306de374b7f8fb69e

Size: 431,194 bytes

Other checksums

Submissions

Submitted
Sun, 28 Oct 2018 07:49:24 +0000
Signed by
0x39DC807F9C1EB0C9

Environment


DEB_BUILD_OPTIONS="parallel=6"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1494262732"