coq (8.9.0-1)_8.9.0-1+b2_amd64.buildinfo (view)

Source
coq (8.9.0-1)
Version
8.9.0-1+b2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 5 Aug 2019 16:12:09 +0000
Build-Path
/build/coq-T7mld8/coq-8.9.0

First submitted
Tue, 6 Aug 2019 00:25:06 +0000
SHA1 of .buildinfo
8d793e9a394b2cae5d0907400df94c24594d6776

Binaries

coq (coq_8.9.0-1+b2_amd64.deb)
SHA1: fa6095e561fdaeee7b4467e0396dfd766974891c
SHA256: a00da3621c69be55cf0c0dd2cfd4fa1ba31f7db0b055a03f7527eb6b7a88da11

Size: 59,027,500 bytes
coq-theories (coq-theories_8.9.0-1+b2_amd64.deb)
SHA1: 0bf213c70af3fa97158feb7c379e4a69f0c19512
SHA256: 21b8604b94a5f3981ab97bdbeb01e8c346ee115b7f4d41716bfe48bbd084be94

Size: 29,724,356 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1+b2_amd64.deb)
SHA1: 2629258c6cdc2ef7ae4fa78f6ea6ac8caa22daa1
SHA256: fa8779d059145b8b14805d96b54137edb7e2837d74afac3cfbb62cf266987ed6

Size: 5,525,456 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1+b2_amd64.deb)
SHA1: 4ac2a576fab101437b9a94c65c76973220c81c48
SHA256: b6026ef8557d7b0a10491d51342b6aca2a9fc086e1b7e597bbaf91a36f7caa4a

Size: 13,735,472 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1+b2_amd64.deb
SHA1: ca052ae6228b83ba5081e5427f29b3f140e225ec
Size: 537,280 bytes
coq-theories-dbgsym_8.9.0-1+b2_amd64.deb
SHA1: 00830ea81f67567a77f59493ab79bac7174f08ed
Size: 772,764 bytes
coq-dbgsym_8.9.0-1+b2_amd64.deb
SHA1: 2b5ac3cbfd7563c9fe24fee45a56f4f6f9339e03
Size: 3,879,980 bytes

Submissions

rtjwu49o
Submitted
Tue, 6 Aug 2019 00:25:07 +0000
Signed by
0x5662D826D856701C

Environment


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