mcrl2_201409.0-1_arm64.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 5 Dec 2017 05:34:47 +0000
Build-Path
/build/mcrl2-201409.0

First submitted
Tue, 5 Dec 2017 06:33:53 +0000
SHA1 of .buildinfo
d63a299bf72448f8e06f273dfb1d2ec2ded7c244

Binaries

mcrl2 (mcrl2_201409.0-1_arm64.deb)
SHA1: ca7b9ae786824d638582d23d873c0bde3670335f
SHA256: 7dbd2c8c763e96580204e0832c90f9f9806c15efbaf85811385880a535c044ba

Size: 6,798,732 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_arm64.deb
SHA1: df1e961992955af78be05cccc955b946d45b375b
Size: 721,228 bytes

Submissions

4a4nebpi
Submitted
Tue, 5 Dec 2017 06:33:53 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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