201409.0-1
arm64
Debian
arm64
Sun, 13 Oct 2019 08:27:46 +0000
/build/mcrl2-201409.0/2nd
5f9c72070a6a60263d4c24b4817c6281baaa54f0
mcrl2_201409.0-1_arm64.deb
)
4597d80c39650e3fc636be6c63173b66cd48d5cf
8c8b8d0a8fc83a8fe4339130018f56e8b316a24ff0fb4503bbaa2fd322952e64
mcrl2-dbgsym_201409.0-1_arm64.deb
d8ec38ac1ff4009963c01e965c881ca2392c108a
0xAAA3AE5F86A5D0BA
codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1410039266"