Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 27 Dec 2017 01:50:06 +0000
Build-Path
/build/coq-8.6

First submitted
Wed, 27 Dec 2017 03:50:29 +0000
SHA1 of .buildinfo
997324ebe14b0179f5d65a850b68fc719da48414

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: e0ea0881d8f7c6b0e2e797f2634fb57661aa9ca2
SHA256: 5c347068c9a717ee6964a4f0c377d1363bc77ad902f96750072b9b969a5152bf

Size: 13,947,962 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: b103447599a59f55daa93ac9bef0dd547f031b0f
SHA256: 59a33796a7b81c702d5b74ef64a3a339cf9f04e31c8ee4b4ce545e96e04e66a2

Size: 1,404,668 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: b1258ecf17471cb46a4348e115a8ab565cc92330
SHA256: 161f14561c903219e9d6e984b6b5a6c1dc2052f21ac60acdb0207729a4727804

Size: 31,456,496 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: 45171b5633ae8480079cd1d8d353011fa42bbe11
SHA256: f2d40b2fa9533299bc165c396bd1f1024187ab88829cdc00df59e529145c6cb1

Size: 3,500,518 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 3314001bc8b32fe5f759f4a20436909371300c66
SHA256: 4e59b854df0d90799802651891f9e29f61562e582b877d89c8a8202891e5202f

Size: 13,285,410 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: d569c69d0fc92ef6f3f990eee841962104bee615
Size: 81,704 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: e12ce63275458e88a0adea525e20ae2c3934c6fc
Size: 267,236 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 9135ec837fbf3a17a372237ce790c150136b3fd7
Size: 365,684 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 5bc4fce33be3de211886faa1ec6a2a4880bdbd02
Size: 874,986 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 9cd0396648b06f3e5c5e3f2e3fa06f22ae734dbf
Size: 1,384,222 bytes

Submissions

Submitted
Wed, 27 Dec 2017 03:50:30 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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