coq_8.5-2_i386.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
i386

Build-Origin
—
Build-Architecture
i386
Build-Date
—
Build-Path
/build/1st/coq-8.5

First submitted
Wed, 9 Nov 2016 19:55:54 +0000
SHA1 of .buildinfo
556faee59d953e19aa78c475e2a3bde6e398cbb0

Binaries

coq (coq_8.5-2_i386.deb)
SHA1: a9adf2b48c369ad4a021c587ae2da4b3e589008b
SHA256: c07b404b65d95a7b8ce3273f4ad02333105752b8facee9d602eb14acb09a48b8

Size: 13,323,696 bytes
coqide (coqide_8.5-2_i386.deb)
SHA1: 182ad590b40e10f03e308d34ba998443a6d55c77
SHA256: c57722a3330874227b3eeaa3c709ddfcc306a33f7ed6b86b5e1edc8c5700b045

Size: 1,191,004 bytes
coq-theories (coq-theories_8.5-2_i386.deb)
SHA1: 8e949b94e0d336b7e9074d1e6c02c19e585afd39
SHA256: bc6123fdc6c2f89aebf17c9d45b2f81242354b54ba19a725c30676d25e2b8e24

Size: 32,190,710 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_i386.deb)
SHA1: 4834cd1ca2c8c64ff3005b95c4a880efbb5ef191
SHA256: a95ce2add8d08dc0d0bb6ffb3c19394e1f957aaafaf08b002957856ddb0864e3

Size: 3,337,618 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_i386.deb)
SHA1: 13827423044e9c1ccb70f5b0e8bcffe44df2529f
SHA256: f9e646ef34bbd0c7c8d99372318e178c483a9765072a3c3623cca157b881492d

Size: 13,468,558 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_i386.deb
SHA1: adac28793a3e6cd4acb94e3afd9363ef7a5c8a5f
Size: 81,952 bytes
libcoq-ocaml-dbgsym_8.5-2_i386.deb
SHA1: 6a66dd4e6afc16a58529e653f2bf2b3e16154503
Size: 248,154 bytes
coqide-dbgsym_8.5-2_i386.deb
SHA1: 6c3d9c82d11a8c2d2ddb91ef57b46baaab8c6598
Size: 333,534 bytes
coq-theories-dbgsym_8.5-2_i386.deb
SHA1: c759923ca446749c6fa032710cd2c422f65893b8
Size: 861,750 bytes
coq-dbgsym_8.5-2_i386.deb
SHA1: 6ced051c42012eaaef34d8e09f82f380e17d28e2
Size: 1,305,944 bytes

Submissions

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

Environment