coq_8.11.0-1_amd64.buildinfo (view)

Source
coq
Version
8.11.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 31 May 2020 09:39:00 +0000
Build-Path
/build/1st/coq-8.11.0

First submitted
Sun, 31 May 2020 11:45:34 +0000
SHA1 of .buildinfo
8cb909d19b8df6602f001d4b32298c16028d46c9

Binaries

coq (coq_8.11.0-1_amd64.deb)
SHA1: cacdfdaa726d0b988a002db466608cc743596308
SHA256: bd711d78f26321e9edd5a028a8037e3fcf8c640a135c2f1bafdfc36cb15f3b4f

Size: 76,606,620 bytes
coqide (coqide_8.11.0-1_amd64.deb)
SHA1: df78f5e2884e886656ce35bcd02bef2c6eac44e9
SHA256: f3204e6db7cdc565425d8dd0cbed470403c122cdcc3f50bec5bda84ba5e0c0ef

Size: 1,716,864 bytes
coq-theories (coq-theories_8.11.0-1_amd64.deb)
SHA1: 2e3a792f632e3195e65ac6d254aecd01abc7edb8
SHA256: 10e26cc12e8c4b2189e8665f42ca967c181f6abbf4b31d1d2686621cb5b7df64

Size: 33,273,864 bytes
libcoq-ocaml (libcoq-ocaml_8.11.0-1_amd64.deb)
SHA1: 4422a4bfd55e61422770db03aeafa41b8f2ccffc
SHA256: f28a8ec4c784196177f19b94a51b5512dfda21055f1ef480204f6b007fbfb5d9

Size: 6,353,180 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.11.0-1_amd64.deb)
SHA1: cdc401d5176c85165baf6f18ad64ac1a75b991ae
SHA256: 87b96532a4725e3ddd63449ea66a5fd16554d8b69d8ccdcada680668336a2803

Size: 16,076,040 bytes

Other checksums

libcoq-ocaml-dbgsym_8.11.0-1_amd64.deb
SHA1: 2c93515c9f2f213237ee8b0194c6a14801f53ced
Size: 650,884 bytes
coqide-dbgsym_8.11.0-1_amd64.deb
SHA1: 18167f92569ad438ddcd1a94f13b6b962e23e714
Size: 512,468 bytes
coq-theories-dbgsym_8.11.0-1_amd64.deb
SHA1: 348f3941b348805bc1b03b3ca61fe37a78f12f4e
Size: 871,804 bytes
coq-dbgsym_8.11.0-1_amd64.deb
SHA1: aa5a83408059456ce383333f9bb86495b69827cc
Size: 7,115,308 bytes

Submissions

or449ghj
Submitted
Sun, 31 May 2020 11:45:36 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1583440650"