mcrl2_201409.0-1_armhf.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 5 Dec 2017 04:06:00 +0000
Build-Path
/build/mcrl2-201409.0

First submitted
Tue, 5 Dec 2017 04:07:49 +0000
SHA1 of .buildinfo
934940ca8307d62b47a4f6a9df400da4cb1f5afd

Binaries

mcrl2 (mcrl2_201409.0-1_armhf.deb)
SHA1: 3ebaa094b26e0bce0f8b2875dc6bcc4b8e7bf038
SHA256: 1c11bdd3adb0158d0491d32100ec9c06119284002bb2d62efb84dc646387688b

Size: 6,278,704 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_armhf.deb
SHA1: 1e0aa5d69112a4d10fd74d10f7c3bd7af092b8fd
Size: 784,724 bytes

Submissions

ujhdx3ge
Submitted
Tue, 5 Dec 2017 04:07:50 +0000
Signed by
0x0A07D6A9A1E93BC8 jtk1b (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"