mcrl2_201409.0-1_armhf.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 25 Aug 2018 01:43:10 +0000
Build-Path
/build/mcrl2-201409.0/2nd

First submitted
Sat, 25 Aug 2018 01:56:56 +0000
SHA1 of .buildinfo
3dcdedc9c11563576719db37495d6a89100ba064

Binaries

mcrl2 (mcrl2_201409.0-1_armhf.deb)
SHA1: acfa9a1b73b310c2a0102a47d78435c19a2af478
SHA256: 666bdd270d693311e85d854cd1091728406921c26048bece0255aa0471710e0d

Size: 6,312,668 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_armhf.deb
SHA1: 7ed5af450d7d3ef28537bf52fc570c663854d0a3
Size: 769,772 bytes

Submissions

cnzq34am
Submitted
Sat, 25 Aug 2018 01:56:56 +0000
Signed by
0x684E31FF38B7D0B7 jtk1a (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"