mcrl2_201409.0-1_armhf.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 7 Jun 2019 14:16:45 +0000
Build-Path
/build/1st/mcrl2-201409.0

First submitted
Fri, 7 Jun 2019 18:57:16 +0000
SHA1 of .buildinfo
c05539939fa0bdec2c3d3c9e3698b93386af4754

Binaries

mcrl2 (mcrl2_201409.0-1_armhf.deb)
SHA1: 7894d7acb1d42316b658c5c794095aca0891dde4
SHA256: 868d5c4588b48d01f4dac734e65a424b6dfd26bd093e24ba6d98f94286485cf9

Size: 6,357,300 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_armhf.deb
SHA1: 0a33dfa12944465154556725819ad02c66361fc9
Size: 782,668 bytes

Submissions

mg7bebfe
Submitted
Fri, 7 Jun 2019 18:57:17 +0000
Signed by
0x2BBA298F216A5729 ff64a (Automatically generated key for signing .buildinfo files)

Environment


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