mcrl2_201409.0-1_amd64.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 2 Sep 2019 02:28:14 +0000
Build-Path
/build/mcrl2-201409.0

First submitted
Mon, 30 Jul 2018 20:05:43 +0000
SHA1 of .buildinfo
996ab301857aef1f75d99b56ccfab970a53aabd7

Binaries

mcrl2 (mcrl2_201409.0-1_amd64.deb)
SHA1: fd5c4affcdcfe7568fa745ca0a7676b759445a92
SHA256: 16275debb25d3e61714774e4a457ac4c49ac6a835c4915444ca47e147272ea21

Size: 7,518,396 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_amd64.deb
SHA1: 18c5a82484fac148ee64fb9de6515fb2001ba6e7
Size: 669,080 bytes

Submissions

kdgek9ji
Submitted
Mon, 30 Jul 2018 20:05:43 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1410039266"