8.1dfsg-6
amd64
Debian
amd64
Tue, 10 Dec 2019 00:59:17 +0000
/build/acl2-sboGlz/acl2-8.1dfsg
8547fdf522cd734a6bab61e9ec5895988daf879e
acl2_8.1dfsg-6_amd64.deb
)
2365ecbbb143997e490f7d5bd203c33e3858dcb4
f1227074120353d68e3da1915709f360e5a37b60c99f05689b08a7cabe584dd0
acl2-books_8.1dfsg-6_amd64.deb
)
1a5a85d71d8b98af83508a3431be8795cfbc0581
330488c2e929c5f55d3c1b3f1c053b26a46e4ab52331f97f8266fecff8a94805
)
)
acl2-infix_8.1dfsg-6_amd64.deb
)
f8b9e89e8957b886cd5f1f52453fff4a53a26a87
64fd9caa5104ddddafaf9a17d6ff1e2c7446886fffd12bc9d5bf156dfdd918fd
)
0xD9795CB00A61AF5E
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575901290"