Source
acl2
Version
8.1dfsg-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 6 Apr 2019 07:05:06 +0000
Build-Path
/build/acl2-AAzxRR/acl2-8.1dfsg

First submitted
Sat, 6 Apr 2019 12:17:21 +0000
SHA1 of .buildinfo
c8370e164d17194670c13b6e36a4a9ec8299cc3e

Binaries

acl2 (acl2_8.1dfsg-3_armhf.deb)
SHA1: dc225bfeacc17ec75f865fa33b8f75c3839d16f3
SHA256: c47bac1d22064168020bd0f0857097e81ba0ad474efded95d882470698f1541b

Size: 17,782,984 bytes
acl2-books (acl2-books_8.1dfsg-3_armhf.deb)
SHA1: 6b3a5210aa88514662212574e9216f200f6bb9cb
SHA256: c6d58df19a70c6677ac9b23d0555605650b01744a983b3d2fecde8d49a847d26

Size: 147,823,612 bytes
acl2-infix (acl2-infix_8.1dfsg-3_armhf.deb)
SHA1: 9a1582382dfabeb172b4c3d53d00f1dcfe263c04
SHA256: c03631f7f05a039a9aaba650c8e1724fd5d3371206de63d7e665ffd9a2e5b59c

Size: 462,680 bytes

Other checksums

Submissions

Submitted
Sat, 6 Apr 2019 12:17:21 +0000
Signed by
0x1D09EB5229E8F175

Environment


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