mcrl2_201409.0-1_amd64.buildinfo (view)

Source
mcrl2
Version
201409.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 25 Dec 2019 13:51:34 +0000
Build-Path
/build/mcrl2-201409.0

First submitted
Thu, 22 Nov 2018 07:29:12 +0000
SHA1 of .buildinfo
f0f188595a918d3d6028fbe7660ec83c91bf2f92

Binaries

mcrl2 (mcrl2_201409.0-1_amd64.deb)
SHA1: 5c036c867c5391b9b7c701dd0ced26d6ff1ec64a
SHA256: af557ca89351fb8a4fe83ceecb9f30b5cc33505f87b9a66b14430b4724bf4130

Size: 7,512,272 bytes

Other checksums

mcrl2-dbgsym_201409.0-1_amd64.deb
SHA1: 6c5f2d1957183ffe85a274257e3c96a25a8adfc7
Size: 668,408 bytes

Submissions

9ysv9dy3
Submitted
Thu, 22 Nov 2018 07:29:13 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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