8.1dfsg-4
mipsel
Debian
mipsel
Mon, 4 Nov 2019 04:40:31 +0000
/build/acl2-ZCe44w/acl2-8.1dfsg
11592f207163eb564c50fb0b4987b80f996f3930
acl2_8.1dfsg-4_mipsel.deb
)
d3072394ddda98270edc77ae413ade15f3e50327
a8df93b52feca97924b1160dad48931988dcbd9ba2a67c5b55774d70f05144e4
acl2-books_8.1dfsg-4_mipsel.deb
)
1654b4e5875d1fa4e17d2a512091cccbed10c830
4178350e69b30ffd891173d056d07d3f02f1aa3bad2f42bffd8cc5f71b9b71af
)
)
acl2-infix_8.1dfsg-4_mipsel.deb
)
0126908c0eb314145443f316771545b087ed1f96
aa1fae87172cb05a88a145644261f36246371b8c333e1fda7dd124cbc9e73a01
)
0xB075D1D099E610D9
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1572542269"