8.1dfsg-5
i386
Debian
i386
Sun, 8 Dec 2019 22:16:42 +0000
/build/acl2-0OjQMV/acl2-8.1dfsg
34707a41b56a818c64946bacb052d9b18d23fc33
acl2_8.1dfsg-5_i386.deb
)
61578b054f2c8ab3005355e79e9a809f29e44678
55d5d0341e63bda840fd505fe67a873df9c023cc1f85634be82f0af7b721185a
acl2-books_8.1dfsg-5_i386.deb
)
463036b3e6316b545febed7aaa1c77cf8b0ea5a1
d1d322b80960b2b1ba4ce0a740df69b23abff161871a5132564d2f6c0ba46f91
)
)
acl2-infix_8.1dfsg-5_i386.deb
)
995ae906483606b49a36e0910da108f9569213e8
999df03c7445662cfee5c0d3976928c0ef0bf40be7cce8977b586edb7e022830
)
0xB6798C98C3897D0D
DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575818032"