8.1dfsg-6
armhf
Debian
armhf
Tue, 10 Dec 2019 02:20:06 +0000
/build/acl2-FEDX2i/acl2-8.1dfsg
f20ebb9a6690da6e22522d05e3776e3bd742362d
acl2_8.1dfsg-6_armhf.deb
)
c6b10e06ac2bae8364be4e19c22ef1fa4873ad00
b8cf670f8aa1a36d4c762c5095da47a3981194dfcac10eec1ffd7582b1b34b33
acl2-books_8.1dfsg-6_armhf.deb
)
cb84eba09b2d5e9aea766a529c288ac03b0947c2
895912248e496b0f0ed1276fa4343781d2330580f05c19dadc0f5c14336a8702
)
)
acl2-infix_8.1dfsg-6_armhf.deb
)
73271493e6bf699e982d72cae4bbc475e2f339c5
23ac32516bc50aa4cc8583bcabd7051c6fa5323dccaecb4360f6cc74074037ed
)
0x9D9A36A270771481
DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575901290"