201409.0-1
armhf
Debian
armhf
Sun, 31 Dec 2017 21:00:07 +0000
/build/mcrl2-201409.0
12fec7027b60ac87e186a5b21530eda7f2125349
mcrl2_201409.0-1_armhf.deb
)
42d6330315ca2aafed0cabe55c5ba03303b7074d
d03cd6bc5463ba3bbcc37a3632f151988e46a14923f304b8a59075a2ffab0c26
mcrl2-dbgsym_201409.0-1_armhf.deb
3fd8a12cd8d60779226418d369f19d3b269b61cf
0xA7B82CF0C0043589
jtx1a (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1410039266"