Source
acl2 (8.1dfsg-3)
Version
8.1dfsg-3+b1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 23 Jul 2019 12:55:51 +0000
Build-Path
/build/acl2-f1pOry/acl2-8.1dfsg

First submitted
Tue, 23 Jul 2019 18:22:58 +0000
SHA1 of .buildinfo
bbc82b86403d91aea59c964591861fea1a203ed8

Binaries

acl2 (acl2_8.1dfsg-3+b1_armhf.deb)
SHA1: 4599fb245795a9641ef07877052bbfd9dabcc3fa
SHA256: d8515d35f816cb3b0e4f81f198d8cf8e4c1a459c1116311677e7389cbaf79748

Size: 17,842,980 bytes
acl2-books (acl2-books_8.1dfsg-3+b1_armhf.deb)
SHA1: 5b5937bfe93de43acae92c95ff9058be080e3ea5
SHA256: f6ca01a2682e07e4c1090b11d86778c542f946688d8096f2cba3d782b90ed399

Size: 147,787,812 bytes
acl2-infix (acl2-infix_8.1dfsg-3+b1_armhf.deb)
SHA1: fe8f5f5e31cb5dda18d63129331fea8c0f42be94
SHA256: 51117b4db85842be98cecc0cc39653bf49d024ed19e1d33280f6f63959d5193d

Size: 462,484 bytes

Other checksums

Submissions

Submitted
Tue, 23 Jul 2019 18:22:58 +0000
Signed by
0x4121BF61A17B96E8

Environment


DEB_BUILD_OPTIONS="parallel=6"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1563746394"