coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 24 Aug 2019 19:25:35 +0000
Build-Path
/build/coq-8.6

First submitted
Mon, 19 Jun 2017 10:39:43 +0000
SHA1 of .buildinfo
6c6243f9c710042c9f8f9fdc2d5779b2a668afaa

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: b2f9169838ba14418a74f476b41ea7657ca06427
SHA256: 57ae53a23aa7039216811597f443b2915b5a3de86859743a5de141f4644380e7

Size: 13,947,160 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: 323010406d00b380432e8fa21ba35c4a6bdcebbf
SHA256: 1c896a058f7a2f58bc324311f5971782da3e5fc3a81870f576b5976bbe114952

Size: 1,404,428 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: baac68421064602cb02b07f3919e2fa98690a7b4
SHA256: 6203b3894e99116372d6671b069d3a64663727804ce31d58707a143db55dca92

Size: 31,443,904 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: 215b01eca3367d25549b61c022df35529a9983a9
SHA256: 87c188991afb0f6a03aa1bebac1d497b7f38fcd9019598111c8431aa874683e1

Size: 3,500,592 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 8bfb6711a1d62e8ecff54fc5ef5550fcad44f2e5
SHA256: 2ecc6a7f9900066a9bcd9c5e87c5fd6652c07d636dfb0a485c5582bb00f6d87e

Size: 13,287,334 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 050753fe9d529db53194d3e359a285ceaf4c448f
Size: 81,830 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 2b861156a1742f69da170dfdd282772cd46d79fc
Size: 266,092 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 242998c9213e176a55cf80af5eba6e71b1b97d45
Size: 366,148 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: f4f01322d963069158bbcd361bceb995b9ba9129
Size: 878,058 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 7971fc3ac9b948a71e9908e16bb17f04a5817983
Size: 1,363,228 bytes

Submissions

kkhqvpnv
Submitted
Mon, 19 Jun 2017 10:39:43 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"