mcrl2_201409.0-1_amd64.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 10 Oct 2018 03:07:23 +0000
Build-Path
/build/1st/mcrl2-201409.0

First submitted
Wed, 6 Sep 2017 21:47:50 +0000
SHA1 of .buildinfo
281425aae1015b90271b6a6fb69e8b9990e9f6bf

Binaries

mcrl2 (mcrl2_201409.0-1_amd64.deb)
SHA1: 562db14f29ef5b64b634cb394dbbcd80cac0e808
SHA256: a288579a6b9b09185b711ba92ed27b605b2c70a82ee5527a678f1e5ef4e7edc2

Size: 7,476,900 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_amd64.deb
SHA1: a204eb1c0dc9549a88f4e87f8cc872afc31b5108
Size: 659,346 bytes

Submissions

j3rfnfcj
Submitted
Wed, 6 Sep 2017 21:47:50 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="mcrl2_201409.0-1=/build/1st/mcrl2-201409.0"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1410039266"