mcrl2_201409.0-1_amd64.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 11 Jan 2019 02:05:43 +0000
Build-Path
/build/mcrl2-201409.0/2nd

First submitted
Fri, 8 Dec 2017 19:55:53 +0000
SHA1 of .buildinfo
8aac702a2ad845f4cde1ac8f03ace9910596839d

Binaries

mcrl2 (mcrl2_201409.0-1_amd64.deb)
SHA1: 8f7a1bff9fe8926b1586f5fc9ba29d43d622bcd6
SHA256: fd33c79aa5743f45221051a6a512630d275ede6e35b6e6003f4d886c11b166da

Size: 7,476,464 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_amd64.deb
SHA1: 7e9a6afbda04f4989663017b3ff9bad094649552
Size: 658,572 bytes

Submissions

mam9fgvm
Submitted
Fri, 8 Dec 2017 19:55:53 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (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=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1410039266"