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
Tue, 20 Jul 2021 03:04:40 +0000
Build-Path
/build/coq-8.9.0

First submitted
Tue, 16 Jun 2020 23:44:55 +0000
SHA1 of .buildinfo
8cfadd064d9afb0fa0f0622fa57c735014ddcc32

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: 62ee72d18e457ad5824835da94175f1ecb10dde9
SHA256: 5dec553bbe79339c9d0ca3eaa2c3532071bc142a88e66e922f4edfee6a47638b

Size: 58,996,364 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: 5ac545357ff71c0c76c04018c646cc93fcf39321
SHA256: 1a46dc90273a43d741ca12abf756c84d06cb2b6a12f352ed80fa90f15f4ba64f

Size: 29,727,784 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: 51610142beaa7f8ce84fd971a5c5f1b6ed44723d
SHA256: ca4a8534a0aaeaae82614f4b8710e23beb42de260e09b24a39ec8bcdf1e2d820

Size: 5,461,904 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: fc1a4f94a17c779d70aa30bfb729ae84f7a8656f
SHA256: 92d83e7686c7b6be9a6b61bdaaf4f2bc8278b13d0fd69696e9da74bcfc3016e7

Size: 13,710,200 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: f0d8541f9ef49e57cc4f418bc0dec1074b741f4f
Size: 534,232 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: 91583e0acf05968b8906eed6c02c18b9789c0a2f
Size: 773,612 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: 7fdb552b31e927cac85a89082fbaf8c1c12bd091
Size: 3,777,836 bytes

Submissions

qh9yaoev
Submitted
Tue, 16 Jun 2020 23:44:56 +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"