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
Tue, 30 Jun 2020 18:30:07 +0000
Build-Path
/build/coq-8.11.0

First submitted
Tue, 30 Jun 2020 19:29:46 +0000
SHA1 of .buildinfo
17ee371c9fbbc33cfb850b771171029751ef023e

Binaries

coq (coq_8.11.0-1_amd64.deb)
SHA1: deecfda994b76df0415e704678d1dd4df3234e29
SHA256: 190a3b4a0e656ccb7fdd641d98167cb0bf82b83b5ee9686e4c0b7e38eb2c743d

Size: 76,602,460 bytes
coqide (coqide_8.11.0-1_amd64.deb)
SHA1: 0c748b3c63d912cb6d1a240e59cdc462ef2a6fcf
SHA256: 388c4948c690730e4637fd37a67683febde18fe540ab1d76a4b33f0d346fe0c7

Size: 1,717,000 bytes
coq-theories (coq-theories_8.11.0-1_amd64.deb)
SHA1: 7f1cefe38a532da2981303c4712d9cff54dc32cb
SHA256: 9cdfc38296ee43da3f32f04b6b6c24ffdf194cde2ce08e7960306236cae6a181

Size: 33,246,356 bytes
libcoq-ocaml (libcoq-ocaml_8.11.0-1_amd64.deb)
SHA1: 67d3300aee004eab24d6563aa14b3d37595d6a2e
SHA256: 88084a55dd74ed226f1b5995bdce8090ff065887b89c1b8492f3c65bda6fd6b0

Size: 6,351,796 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: 3848bb3f88307b33bea0311adeb4cfed7f9a3e14
Size: 651,304 bytes
coqide-dbgsym_8.11.0-1_amd64.deb
SHA1: 89a29322d8ab0d7c679b4718e389cde5f61247f8
Size: 512,468 bytes
coq-theories-dbgsym_8.11.0-1_amd64.deb
SHA1: 258527fb088868bf14e45cbff443eb25585becf5
Size: 873,200 bytes
coq-dbgsym_8.11.0-1_amd64.deb
SHA1: a82f1de5d0955dee244b67f37ca32468887b6bbb
Size: 7,040,528 bytes

Submissions

njtdqas4
Submitted
Tue, 30 Jun 2020 19:29:47 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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