mcrl2_201409.0-1_i386.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 14 Feb 2018 15:55:21 +0000
Build-Path
/build/mcrl2-201409.0

First submitted
Wed, 14 Feb 2018 16:01:07 +0000
SHA1 of .buildinfo
15892c271b1f049cd22e8cb377e46ef9ba11c7e0

Binaries

mcrl2 (mcrl2_201409.0-1_i386.deb)
SHA1: 2bfa6a7fa36ce6d9d396e661d7fb9f456f30ed3f
SHA256: 23479826d8c0b6526421e2f22595263f81827ff0729fc1255c86778a919ca2c5

Size: 7,783,412 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_i386.deb
SHA1: 9f6df7dcad1b2b6f9cb73aa1a4af024385223421
Size: 633,832 bytes

Submissions

et3az7kb
Submitted
Wed, 14 Feb 2018 16:01:07 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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