coq_8.5-2_amd64.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
amd64

Build-Origin
—
Build-Architecture
amd64
Build-Date
—
Build-Path
—

First submitted
Fri, 28 Oct 2016 06:18:39 +0000
SHA1 of .buildinfo
36a847fc676f4bad57a303de40baae1056b24065

Binaries

coq (coq_8.5-2_amd64.deb)
SHA1: 864a3490685e38ebd7c1e0d1c83d22113ee04843
SHA256: aa9f6bd9d6964f74b54121cde4938b1b2ea6127c5cd9e5df878ffbc14fd176dc

Size: 13,561,088 bytes
coqide (coqide_8.5-2_amd64.deb)
SHA1: 40ee75e9a5efb04eda4753d2945d923c307d4257
SHA256: 874859e57a259a6ba98993fdfbf345ad99c3162cdb7c18faabf8af6f9e1423fd

Size: 1,277,306 bytes
coq-theories (coq-theories_8.5-2_amd64.deb)
SHA1: 6ac4431cd0ea82dca3ebb901f99dd36eb6232317
SHA256: 1d9f3e3b54864f4142f7ee358df3255979fa747d58a2b696fe01bca048dca142

Size: 32,927,358 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_amd64.deb)
SHA1: 995101a226df5fd4e4ba585a2a4dc46b3e431232
SHA256: 4457722b5f9eb1f32fc4ae67f72d767430a983af7ee43c5bf9f912b411172487

Size: 3,434,782 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_amd64.deb)
SHA1: 57f07f6b9a2e10be3c57678be0ef157a0ae46396
SHA256: a610468a59d0d4fa5e375d60ea35523b074a419955e7cfe818896236ab57b4ef

Size: 13,389,586 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_amd64.deb
SHA1: 6978b19b89ceb8039e9a30848f7dc447ca4d27c7
Size: 84,684 bytes
libcoq-ocaml-dbgsym_8.5-2_amd64.deb
SHA1: 75974d1c523c179df2671e80d91dee7bad675a28
Size: 255,422 bytes
coqide-dbgsym_8.5-2_amd64.deb
SHA1: a157ad54d7179734c99035bb9524e33a156dfd2d
Size: 354,120 bytes
coq-theories-dbgsym_8.5-2_amd64.deb
SHA1: c94e51c4af23d7b00b02e3d8d622d8def76749a8
Size: 888,646 bytes
coq-dbgsym_8.5-2_amd64.deb
SHA1: 25c4c9236aa3778235d0eda195ad343360fb6d80
Size: 1,353,654 bytes

Submissions

Environment