coq (8.9.1-2)_8.9.1-2+b2_amd64.buildinfo (view)

Source
coq (8.9.1-2)
Version
8.9.1-2+b2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 30 Dec 2019 05:11:54 +0000
Build-Path
/build/coq-gkdbsC/coq-8.9.1

First submitted
Mon, 30 Dec 2019 06:42:18 +0000
SHA1 of .buildinfo
3e3fd5fbab762e4e285b6a3ab0a1a5e5c4512801

Binaries

coq (coq_8.9.1-2+b2_amd64.deb)
SHA1: 6ffd7dd781e11d22a9e9a16d16e1cc0d5effd2e2
SHA256: 38a8b96d932a33d7226ec21f2e3cb21cfc1b1613140cf0cb9da8f45db65e05b2

Size: 62,438,196 bytes
coq-theories (coq-theories_8.9.1-2+b2_amd64.deb)
SHA1: c4ee38eb73e61b281d30d9cfa2d41ac2447c145b
SHA256: 99877defba674735a6a19fb8ef7e6768337879b2623d518d1b3d4b4ec52133f1

Size: 30,185,952 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2+b2_amd64.deb)
SHA1: d276967769dde5afb009d9b3e57de94faa67dc1a
SHA256: e1669a0d2d98b11735e7c896efe2c74d8f7c60692e17b4182c2503558e76660d

Size: 5,682,464 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2+b2_amd64.deb)
SHA1: 751303a5c4e53effb3b8b170d905c8cc2274e755
SHA256: 6660df908e7aa8c55999dad6196764012c7b474003ee371cd6f56c6db7010e21

Size: 14,093,620 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2+b2_amd64.deb
SHA1: 87d286750d372798a1b6e7059a545abcdfd956e5
Size: 571,504 bytes
coq-theories-dbgsym_8.9.1-2+b2_amd64.deb
SHA1: 0beae62aaf8037753a35018038be5701add9970c
Size: 772,452 bytes
coq-dbgsym_8.9.1-2+b2_amd64.deb
SHA1: a2ce61542be811fc0b8774b8de5e8c0866040d09
Size: 4,407,612 bytes

Submissions

mjgcxwvq
Submitted
Mon, 30 Dec 2019 06:42:19 +0000
Signed by
0xE9BEE1DBDA111424

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1577680951"