Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 9 May 2017 06:20:55 +0000
Build-Path
/build/coq-8.6

First submitted
Tue, 9 May 2017 09:33:18 +0000
SHA1 of .buildinfo
1c3fb58d3855010b813001ae207d09631b82b346

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: 5fcec17d2677e2a300182ce47471e11ca35edfbc
SHA256: 91b0bb9c61e3e7dd2ee2dd03c630492abcb485603b972415b628c49ace8cfdb1

Size: 13,956,346 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: 5e52c886478a24c6bcfcdf0617d1e0015b77930e
SHA256: ff5c53fb469f1af8b45bbced8a536524340f042908c6004d2d88be34df54b12e

Size: 1,404,172 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: 6728d063160654e17718899aee95ed5635fe8e88
SHA256: 918cc35c68a91326b5b3fa91ff9da1c1d5aa779fa2b0fc277c974b889f625794

Size: 31,441,820 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: 5f5a63980e2b1c05f010f261eeddb882dac09d5f
SHA256: 272abe6ab7c7355771bff09815a6a4fbe8be12770f5bc8b48433b6180dc03fc5

Size: 3,500,582 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 76006708b736fa97223a89678262a2f78771dc1b
SHA256: c94512e768808d4d1f76bce88010f81f8a7941e5a1103c52ddea452093f29744

Size: 13,284,730 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 251b5fe0b037b572548e5188d87eeaa5708020ef
Size: 81,672 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: f87e17a329d0ef38c70fa8188f574b30140f01d9
Size: 266,530 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: b7ab377368e1e6fb677348f39713a7b722a26c8e
Size: 365,462 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 2be4b226bb35ccaf90f5a63992ff02edcf07309b
Size: 875,304 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 5360923969a3638770ebc01f802d7f8a157d7e9e
Size: 1,378,336 bytes

Submissions

Submitted
Tue, 9 May 2017 09:33:19 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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"