8.1dfsg-4
i386
Debian
i386
Fri, 1 Nov 2019 00:41:35 +0000
/build/acl2-nSqe8x/acl2-8.1dfsg
c11addf385ca7ad8514210c00132b1421c879bcc
acl2_8.1dfsg-4_i386.deb
)
83878df188dc5504b735c0cc017230c9046aec63
d972f5dfa2500317fc50a474db2d5a9c6fdeea78967bf3e31b4a03d81052e18a
acl2-books_8.1dfsg-4_i386.deb
)
3b9b33a35687a20d1c54047ea95e300d3ea72698
9f01f8f1b01abc900bf4fc1384e18b2382358f9532088735ce38e2392ace94f9
)
)
acl2-infix_8.1dfsg-4_i386.deb
)
182b7bc6ab9af6c1d3a7e9960682985f6bd077c4
32ca3ed064940d21c2901c464f1277d565a9c84b32ba01f2e104b5009b01a094
)
0xB6798C98C3897D0D
DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1572542269"