Source
coq
Version
8.5-2
Architecture
i386

Build-Origin
Build-Architecture
i386
Build-Date
Build-Path
/build/coq-8.5/2nd

First submitted
Wed, 9 Nov 2016 19:55:55 +0000
SHA1 of .buildinfo
9072c3ef79fb4d38ad50aae8ae2952a92f09b6d7

Binaries

coq (coq_8.5-2_i386.deb)
SHA1: 74b366659d147703157edafb96d9f363bd9ce8d5
SHA256: ea0ed79e1869ada2a8b7aa7429f117e21dd5f0863b16f9e912caed6b4c7c6a95

Size: 13,318,280 bytes
coqide (coqide_8.5-2_i386.deb)
SHA1: 61ad8fd6dd3f8ad9b292a683a241bac6b37bcfde
SHA256: 866d9de0b329a8c29b61bf3a27de59372871d1c3cd108a596035cb4a89df3136

Size: 1,192,234 bytes
coq-theories (coq-theories_8.5-2_i386.deb)
SHA1: 8c8b3bcdf50a7718d696b0b7be0c3ffe1b50a0be
SHA256: 9950a4045ae07a2a83988abfe5496d47e730105d609dd3dc13e6ab7e958ec168

Size: 32,199,976 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_i386.deb)
SHA1: 6b7bda5a4e3cf34651d129af17d30e8fbd621562
SHA256: 080e9abf52cde573662037da469d82f24c899022bb83435460e1d146da3a430f

Size: 3,337,218 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_i386.deb)
SHA1: bfa2ff3290703e7430bd78c207866986ac2c1920
SHA256: 42e7358c404d656b29fe74015946c5a6eef29c30a0dd1fbceca1bec974b2fbfd

Size: 13,468,498 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_i386.deb
SHA1: eaee799b377674dc8ea7745cf72e2c58d3a47923
Size: 82,000 bytes
libcoq-ocaml-dbgsym_8.5-2_i386.deb
SHA1: ff3495eef0667b76428c4373c3c892c75fa754e9
Size: 248,742 bytes
coqide-dbgsym_8.5-2_i386.deb
SHA1: 8baeb8647e2a54e0b6f542aea1436af31c876631
Size: 334,070 bytes
coq-theories-dbgsym_8.5-2_i386.deb
SHA1: 7e9c61026b6c2daf07564a99aa000223045a5a9f
Size: 860,658 bytes
coq-dbgsym_8.5-2_i386.deb
SHA1: ba289a9164c114d496fb007dc630a0de91dfb037
Size: 1,315,180 bytes

Submissions

Submitted
Wed, 9 Nov 2016 19:55:57 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment