Source
acl2
Version
8.1dfsg-6
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 10 Dec 2019 02:20:06 +0000
Build-Path
/build/acl2-FEDX2i/acl2-8.1dfsg

First submitted
Tue, 10 Dec 2019 06:32:57 +0000
SHA1 of .buildinfo
f20ebb9a6690da6e22522d05e3776e3bd742362d

Binaries

acl2 (acl2_8.1dfsg-6_armhf.deb)
SHA1: c6b10e06ac2bae8364be4e19c22ef1fa4873ad00
SHA256: b8cf670f8aa1a36d4c762c5095da47a3981194dfcac10eec1ffd7582b1b34b33

Size: 17,818,916 bytes
acl2-books (acl2-books_8.1dfsg-6_armhf.deb)
SHA1: cb84eba09b2d5e9aea766a529c288ac03b0947c2
SHA256: 895912248e496b0f0ed1276fa4343781d2330580f05c19dadc0f5c14336a8702

Size: 151,047,900 bytes
acl2-infix (acl2-infix_8.1dfsg-6_armhf.deb)
SHA1: 73271493e6bf699e982d72cae4bbc475e2f339c5
SHA256: 23ac32516bc50aa4cc8583bcabd7051c6fa5323dccaecb4360f6cc74074037ed

Size: 465,896 bytes

Other checksums

Submissions

Submitted
Tue, 10 Dec 2019 06:32:58 +0000
Signed by
0x9D9A36A270771481

Environment


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