Source
acl2
Version
8.2dfsg-2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Fri, 27 Dec 2019 03:31:20 +0000
Build-Path
/build/acl2-vkiLew/acl2-8.2dfsg

First submitted
Fri, 27 Dec 2019 06:12:29 +0000
SHA1 of .buildinfo
3d2257543a6fc3d75e7c9abd4dfdd23d0ae028fd

Binaries

acl2 (acl2_8.2dfsg-2_ppc64el.deb)
SHA1: 932d0672f9c5dde066650c27f05d1b83af6ca8d0
SHA256: b0f1f5129165d74e812986a99f59994d4c9fc7f409dc36ba9e06ca35fcb285cf

Size: 22,479,964 bytes
acl2-books (acl2-books_8.2dfsg-2_ppc64el.deb)
SHA1: 143853306b1d48c559a5506e378e9c0824e9b291
SHA256: ccdffef4e10d925c47c61a5c0021b85ddc2462c0f0c780ec52508fdb3525940d

Size: 173,509,104 bytes
acl2-infix (acl2-infix_8.2dfsg-2_ppc64el.deb)
SHA1: cc4ddc293b39342d9815760e460f3a52bc10d0fd
SHA256: 4136ad99c269520ad2fadc0b9722fe73a3995b44a5412f9461d98cf44aec3fcd

Size: 507,100 bytes

Other checksums

Submissions

Submitted
Fri, 27 Dec 2019 06:12:30 +0000
Signed by
0xECF065C4DB31787B

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1577393229"