mcrl2_201409.0-1_arm64.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 14 Oct 2018 22:54:53 +0000
Build-Path
/build/1st/mcrl2-201409.0

First submitted
Sun, 14 Oct 2018 23:49:52 +0000
SHA1 of .buildinfo
21f12759cc45c04a5935ce0e184ecbbd59502307

Binaries

mcrl2 (mcrl2_201409.0-1_arm64.deb)
SHA1: 3afc7e24ba97241ccbf73babcc5d7412390d9c34
SHA256: 3da9c217db1601a4d6febcfa53b46529e6a5fa52308a6ac77e36b744d2d7f4e2

Size: 6,676,896 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_arm64.deb
SHA1: 0926762d3ad2a72580ab85060ef9d24b6c99e46f
Size: 715,312 bytes

Submissions

wvwvatoi
Submitted
Sun, 14 Oct 2018 23:49:53 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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