8.0dfsg-1
mipsel
Debian
mipsel
Tue, 16 Jan 2018 04:53:21 +0000
/build/acl2-obq73n/acl2-8.0dfsg
1bd2f92471811488313ea2a8a104f2c403ca7b73
acl2_8.0dfsg-1_mipsel.deb
)
ebbb6e0d7614e36a96b9282af0f0f4f7559ed897
7cb27243de0d0c778f127327ef24cc39b4b71e412a89eae9acc5934ca245a8ef
acl2-books_8.0dfsg-1_mipsel.deb
)
7265f7835a27ee8685ee658757780740bf6cc3b8
bacab78662917e669616e0d2772279cff4ea21c49f5b2c540ff8403a83084b09
)
)
acl2-infix_8.0dfsg-1_mipsel.deb
)
ced345e4ae77138ecf6ff1b82a74d108b91685bf
347bab5cf04be2bf77582102de8366007a1ca259abd1298a8fe3df4cb27b3ccf
)
0x9586203D53CEB585
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1515765876"