mcrl2_201409.0-1_armhf.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 8 Feb 2018 06:25:14 +0000
Build-Path
/build/mcrl2-201409.0/2nd

First submitted
Thu, 8 Feb 2018 06:42:05 +0000
SHA1 of .buildinfo
1b7f2f5cd894b192606f56877507d19d73aa1d45

Binaries

mcrl2 (mcrl2_201409.0-1_armhf.deb)
SHA1: 0e6c2b0a2b5c57c8728d845b29906bbfa96b5507
SHA256: 30147980ccd3882cb818dad1420c992ca8a6fc8778d8fa214c9a1a4446042c58

Size: 6,304,124 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_armhf.deb
SHA1: dd7a78c780d0ec5f114bc131d19c8c7eb54ae07a
Size: 787,184 bytes

Submissions

a4nwyuhq
Submitted
Thu, 8 Feb 2018 06:42:05 +0000
Signed by
0x0F806CEEB6CD263E odxu4c-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="mcrl2_201409.0-1=/build/mcrl2-201409.0/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1410039266"