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, 30 Jul 2019 14:04:50 +0000
Build-Path
/build/coq-8.9.0

First submitted
Tue, 30 Jul 2019 16:06:43 +0000
SHA1 of .buildinfo
dd5b0fda8b76e59f22e2830d7415640201df715a

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: d3314df17fd245fd6ada27607d2a8cea81700274
SHA256: f9018f8d3b7c9aad922bba75c202635a5c8a71c0cd9847cbc067c5627dc9b564

Size: 58,982,476 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: 8155e0e127dab349ae69c0e1b94c370678a02279
SHA256: edd78aed70ed232068b9410c82d9fce26c02e0386084bc313f71cf8dc516add0

Size: 29,729,672 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: 08f644428d2d88599852acc97645270cd61a07d4
SHA256: c5e4e2c4bea061a90716cf08e93f7698b3da0144ff24e755419886834800cb63

Size: 5,461,660 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: 952e48beae9c09abee5b2f9bdc74dce066587459
SHA256: a253721b2ba1509b63b868470bd30f6f97071fe1c672620e93631576b3694e9b

Size: 13,700,036 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: 1ea9a1349adca88488ddc5d0c0ac6b9adda31520
Size: 536,324 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: 14ef30ba6426396009d33598385a6fcf64866271
Size: 773,180 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: d0db42fdede4f2c3eb6e64de83092eb24536c0b4
Size: 3,638,248 bytes

Submissions

4pykfsti
Submitted
Tue, 30 Jul 2019 16:06:44 +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="1549474869"