8.2dfsg-1
amd64
Debian
amd64
Fri, 20 Dec 2019 01:54:16 +0000
/build/acl2-sYLWxH/acl2-8.2dfsg
dcdf06a0fa0a12040b0c198d7936334f15a547cc
acl2_8.2dfsg-1_amd64.deb
)
6ebaa42103268a72ef593e390f45190bf23a8dee
c2e62f6994eb635a0e4ac00a14ec96bd52de3b9cdd9310354bf6b638467c04ee
acl2-books_8.2dfsg-1_amd64.deb
)
e49ff06a7b50a55e1774481ccbb4916dee22760c
19ba828ccdaca1fde52e6ced0a0fc160c465b0ab0cc1406d077546a1b9fa6ccf
)
)
acl2-infix_8.2dfsg-1_amd64.deb
)
0b522efd4759ee7e4d13244cd2e4f08acff043eb
c93827a3c617e51b5594494fa049cdc3f7d8ce69f4f636e7fd41230318cd963a
)
0xE9BEE1DBDA111424
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1576769407"