menhir_20200123-1_all.buildinfo (view)

Source
menhir
Version
20200123-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 20 Mar 2021 22:47:56 +0000
Build-Path
/build/menhir-20200123

First submitted
Sun, 16 Feb 2020 16:25:24 +0000
SHA1 of .buildinfo
6508ce6bb61226c3f5490335a29ae50b62787968

Binaries

libmenhir-coq (libmenhir-coq_20200123-1_amd64.deb)
SHA1: 629fc755389e28af47908222188f11be7a0acd82
SHA256: 53020d720a2125706e0651b08a82c907ff384e4706e379762566da376755c6ee

Size: 1,368,260 bytes
libmenhir-ocaml-dev (libmenhir-ocaml-dev_20200123-1_amd64.deb)
SHA1: 7d5a878a79a26cb7973bac9547af86aa75ea25a0
SHA256: 9be4fdb0eb060f45b981728e29bc739b2c1b6c2a39ee12995215bb521835ed78

Size: 480,364 bytes
menhir (menhir_20200123-1_amd64.deb)
SHA1: cdd016ffe8173f5204f4ab67e645f55294043afd
SHA256: d0d15fea752de7eb1e795a2a37641bc568f0b43a5f80c69ff4b655c54c1e497e

Size: 807,196 bytes
menhir-doc (menhir-doc_20200123-1_all.deb)
SHA1: 55f34b3f3d21e93ea6d458755eb3c0f7dd94c18c
SHA256: 2641e4e0e401a83a288135e0fa8c65476467bbdfeec9f16827a1382ea33ac50b

Size: 551,012 bytes

Other checksums

menhir-dbgsym_20200123-1_amd64.deb
SHA1: 48cce24afe31164aaa8f41bb461fd9d69e799437
Size: 218,312 bytes
libmenhir-ocaml-dev-dbgsym_20200123-1_amd64.deb
SHA1: ce6be2e63ede415bd3452784f81e00a3c1d67222
Size: 14,264 bytes

Submissions

vd7drnwp
Submitted
Sun, 16 Feb 2020 16:25:24 +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="1581155413"