coq_8.9.1-5_amd64.buildinfo (view)

Source
coq
Version
8.9.1-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 3 Mar 2021 02:46:23 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Wed, 29 Jan 2020 23:46:50 +0000
SHA1 of .buildinfo
41794dc56bedfa9c6c7f98a21a7dc6854c134e93

Binaries

coq (coq_8.9.1-5_amd64.deb)
SHA1: b7d3eed342e4ade76d147efbf6d1dc3936e28b32
SHA256: 5cb3dd01a69b287b5d06df7d3afa83bd22522b6d1c4bc61b3be1b372738b02be

Size: 70,373,896 bytes
coqide (coqide_8.9.1-5_amd64.deb)
SHA1: d0146548dbacef18ff93dff05487e36afcbdffd6
SHA256: 2fed2320c2efa90479d5ff660eb2d0c124021254abf16aad1baceeb8289ec11b

Size: 1,859,224 bytes
coq-theories (coq-theories_8.9.1-5_amd64.deb)
SHA1: a68814e1b3242a3b4a51184f7b9ce6850bd62feb
SHA256: bf866538a9f78a25c0ab0f67e6c79985ae93f29bd4873684f90e06eca408cf5e

Size: 30,188,412 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5_amd64.deb)
SHA1: 1acad9c469f8a2aaf52edcddfdf24236ac0db9bf
SHA256: bc77d914f2f822d4c7798806de2df66c98d16d7e1d15a90e5e7ab146d6f8243f

Size: 5,682,192 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5_amd64.deb)
SHA1: 25250016a3b94d6fe8ee5562dc9c5d4c9bff44fe
SHA256: 565f8b9b31275d997abe7efb2c29ec216410d3ffbcfd36c70a16ddf501c8a95f

Size: 15,105,204 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5_amd64.deb
SHA1: 3699fc1377b477229ea9db91d0a565a94c20b17d
Size: 570,760 bytes
coqide-dbgsym_8.9.1-5_amd64.deb
SHA1: 699f79a3e418851951fb96a47d7cae970d2beb52
Size: 499,676 bytes
coq-theories-dbgsym_8.9.1-5_amd64.deb
SHA1: 2cc75712d790a8f0d7d72937b50e238c7bee3b82
Size: 769,684 bytes
coq-dbgsym_8.9.1-5_amd64.deb
SHA1: 5ca50fe55cd1d8a57d9ab90ba21efb32d47a55a3
Size: 5,567,848 bytes

Submissions

eigjymr4
Submitted
Wed, 29 Jan 2020 23:46:51 +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="1580239419"