coq_8.9.0-1_amd64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 29 Mar 2020 11:19:35 +0000
Build-Path
/build/coq-8.9.0

First submitted
Mon, 25 Feb 2019 16:58:33 +0000
SHA1 of .buildinfo
07cc64b580d1ae372314d0a99326ce4bb8cb4a9b

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: 70a31e5c80ce617730aaa154ffa82f1de23a1069
SHA256: e31a922f195604f3133eb2a5ce62d8ef50323b92e6298bbdf15a8bc6186dd244

Size: 59,000,140 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: cb8e4d80ffe65202e555651e7d348db61816dc60
SHA256: 93fe4e3858ce402a665d65f8e5320b25a133c12990d2556a4cb39af220bea2a9

Size: 29,751,420 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: 731cb35045002efc6a397a2cfafb16e9f389e766
SHA256: 7ccab4b940c0c391a6ba44e10d66f741237c3476f18d65cf1b69cd01aeb75efe

Size: 5,463,168 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: a7fee6c29dd5c62eb2f21574e5d186690f430706
SHA256: f5d4d30037adf383f0d0461d2b7f1625b54523f9bff54b3e0e08c85493b744cb

Size: 13,713,392 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: d1de71799a1f456c16d46963e05ceef8746f0334
Size: 534,928 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: d89fb1b32045d38219d87d0632ced2b06d4ca188
Size: 772,244 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: d00a05d6b2168ac6e848c5ebac33ef504ab32bf9
Size: 3,724,168 bytes

Submissions

okuz9ade
Submitted
Mon, 25 Feb 2019 16:58:34 +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="1549474869"