8.0dfsg-1
armhf
Debian
armhf
Mon, 15 Jan 2018 08:19:07 +0000
/build/acl2-C3h0qD/acl2-8.0dfsg
b174737d76edb31a40ae56b04b0b22c55cf1e801
acl2_8.0dfsg-1_armhf.deb
)
aa2d0662c62557b8c5233b1696a66aa48fefa5c0
a8e580807248c69a842e107b73f05f7e0385380e89e566bec05b20ea7427ed4b
acl2-books_8.0dfsg-1_armhf.deb
)
336e4d4dcac67f47bdb703513e1ed1b6d8e04589
5c4d919a9cf3f3743730b1f3ddfae02fa3532b89fc2d1364afb1e011a14f9167
)
)
acl2-infix_8.0dfsg-1_armhf.deb
)
73dba95971c5f680ad8b11d1274c8c72c0bdfe73
937c33bbc980f62dc820e8d356e890a86f02dfba6941aff059fec2d54eb552fd
)
0x0274B3BCF3C295A1
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1515765876"