201409.0-1
armhf
Debian
armhf
Sun, 8 Apr 2018 03:01:43 +0000
/build/mcrl2-201409.0/2nd
1664c2cc7c28d6cd500376a1f429a434ee20f1df
mcrl2_201409.0-1_armhf.deb
)
4aa628908da2d461ef1ba5282f6ff82b62d956d5
84d263b014b6a03bbe7e65412f80564e309f8b58792c36c60bbcbfa20f947bb5
mcrl2-dbgsym_201409.0-1_armhf.deb
b7ecc98f0c0fa3896e2a86abfe3f7082a9cf01d3
0x8AEA1470736A9EB3
cbxi4a (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"