Source
acl2
Version
7.4dfsg-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Wed, 10 May 2017 05:15:07 +0000
Build-Path
/build/acl2-qS9jlW/acl2-7.4dfsg

First submitted
Sun, 28 Oct 2018 07:47:58 +0000
SHA1 of .buildinfo
fdf388552719b05d8f67cff8b7d2985e56ef53e1

Binaries

acl2 (acl2_7.4dfsg-1_ppc64el.deb)
SHA1: 67327394305c8c7bb15dd4dc021b574056990306
SHA256: c1c95dc82656fbc302ea8e59e1e756323f5886acf90e05095188c7b042f0d7a8

Size: 18,676,372 bytes
acl2-books (acl2-books_7.4dfsg-1_ppc64el.deb)
SHA1: e59f9406479353dffc6e258108d8b06756fbe344
SHA256: 8c18d83d00593fa7bfe1c3ab93bfb6a8d876161d4228173b718195b1a463c08e

Size: 116,516,410 bytes
acl2-infix (acl2-infix_7.4dfsg-1_ppc64el.deb)
SHA1: b6e0cc1bea62194e995df36e3d3fc2590cfc720f
SHA256: 6d47cf6740d81c51c1dcc989299955dce21ac4d63f65efe720fb211ac8552b3f

Size: 423,314 bytes

Other checksums

Submissions

Submitted
Sun, 28 Oct 2018 07:47:58 +0000
Signed by
0x8FCC58961C68D77D

Environment


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