201409.0-1
armhf
Debian
armhf
Thu, 11 Jan 2018 00:02:50 +0000
/build/mcrl2-201409.0/2nd
85e28f933b7ab55901e526b109caeabc5357cc2b
mcrl2_201409.0-1_armhf.deb
)
3e55c80ce646e9992094b0f50e49b20d40476f65
8fdf838f444a02248753313a05133b4ea9d4d26bf3e9a9fda2a66aa14b7577dd
mcrl2-dbgsym_201409.0-1_armhf.deb
af65ede7b19bf7c9fda555f398ecf0cd1428ae54
0x9538881E43D098FB
jtx1b (Automatically generated key for signing .buildinfo files)
BUILD_PATH_PREFIX_MAP="mcrl2_201409.0-1=/build/mcrl2-201409.0/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1410039266"