mcrl2_201409.0-1_armhf.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 31 Aug 2018 15:35:47 +0000
Build-Path
/build/mcrl2-201409.0

First submitted
Fri, 31 Aug 2018 15:36:36 +0000
SHA1 of .buildinfo
1d16e544a883e075e6c07a330be1768c56d51476

Binaries

mcrl2 (mcrl2_201409.0-1_armhf.deb)
SHA1: 67ab555ea911b5821b65b5ba5e86b8362f2dfbbf
SHA256: 1bee872cb036de46cec2103b3283608afe62d33fa5ffdf930e518647c9284824

Size: 6,310,892 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_armhf.deb
SHA1: b091a04766b593abd21e2d23ce9c25fe2f26e6c3
Size: 767,036 bytes

Submissions

qioisfma
Submitted
Fri, 31 Aug 2018 15:36:36 +0000
Signed by
0x923D584899E35CB7 jtx1c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1410039266"