mcrl2_201409.0-1_armhf.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 21 Sep 2018 17:52:05 +0000
Build-Path
/build/mcrl2-201409.0/2nd

First submitted
Fri, 21 Sep 2018 18:08:41 +0000
SHA1 of .buildinfo
d1f98744f77852bbdb7d6dfaad917b4ba8e27413

Binaries

mcrl2 (mcrl2_201409.0-1_armhf.deb)
SHA1: dd4f54d21517d1230c4d4fb8d72332abeade14b1
SHA256: 3f9070cab14af51bdc4c3996c5422ea6e62db10f7fe4ac7e0f4c3212fe9c23e1

Size: 6,314,144 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_armhf.deb
SHA1: 432cdfe302cdbf483888d9d19aca17d7aa6ab77a
Size: 771,176 bytes

Submissions

vwijjpkc
Submitted
Fri, 21 Sep 2018 18:08:42 +0000
Signed by
0x3ED2935763F0D6A2 odxu4c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1410039266"