201409.0-1
amd64
Debian
amd64
Thu, 9 Nov 2017 06:17:46 +0000
/build/mcrl2-201409.0/2nd
202768e28151c5bd0a41883a7d44a12cc7433f73
mcrl2_201409.0-1_amd64.deb
)
14813c8b68a41f4ebc1b8a942c2a0f1ddc8dc641
3d3c1137305da4ebd239bec7dda3fec4cbdf426da7bd77d969f280d6d8d18a9f
mcrl2-dbgsym_201409.0-1_amd64.deb
d21603269e96e5b451fb584819572b8799a28671
0xBB1FD085171F6E18
profitbricks-build11-amd64 (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=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1410039266"