mcrl2_201409.0-1_amd64.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 8 Nov 2018 09:45:31 +0000
Build-Path
/build/mcrl2-201409.0/2nd

First submitted
Fri, 6 Oct 2017 03:36:13 +0000
SHA1 of .buildinfo
7e28987b8fd14e677eace7d4f73fe8dd4e1f594d

Binaries

mcrl2 (mcrl2_201409.0-1_amd64.deb)
SHA1: 5bbdaa625dbd6a1cabeefb55d0bd1c98838391bf
SHA256: 4055e787c14463eb7028a4ec4ae17d0a5ce157327c03ae6641e61923e3b05073

Size: 7,475,924 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_amd64.deb
SHA1: 4deb0558aafb9e6aacb9c37923ddf601e73f210c
Size: 656,462 bytes

Submissions

49wkrxm4
Submitted
Fri, 6 Oct 2017 03:36:13 +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"