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
Sat, 8 Aug 2020 01:43:39 +0000
Build-Path
/build/coq-8.9.0

First submitted
Sat, 6 Jul 2019 22:10:48 +0000
SHA1 of .buildinfo
ba1c9714bbc14556037859669551eb557d1714b1

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: d5a8d6bdccad18bb3248abb703521fb9bd4fdb4a
SHA256: 117d523253d8c6c94d5861d57dfe00706e421020a6a6f21cd0a3dd6ef6f44680

Size: 58,989,776 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: 18062846430a09791a7a13bd05da8c969c732bed
SHA256: 563762e7d0123310fdb810b5d18775be2df6cb5ed094a956938a343e3af71f4a

Size: 29,744,172 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: 8ddd6a7e624612df93964914c44509defad8c6ae
SHA256: 406726abb1d4ec31476aa4df5835c2949c51b6e35808a15615184691db02e41f

Size: 5,460,908 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: c4ba962ba4afd0c919ccc0742eac078df5a58a18
SHA256: f774d15b015fde99f162ccd239465dd3f2f1c04a2c666a7b1ce553a7d47475be

Size: 13,707,408 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: 8e5045bff03d3ed045354bc8524dbccc85b83b6e
Size: 534,304 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: 7c78a0655267ca2c66c5c11dee29d1687b0b62e5
Size: 771,432 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: ea3c623d2236216c3fc4e6680bdbaceec33bbf99
Size: 3,884,844 bytes

Submissions

kchswn3y
Submitted
Sat, 6 Jul 2019 22:10:48 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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"