coq_8.5-2_armhf.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
armhf

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

First submitted
Wed, 9 Nov 2016 00:36:29 +0000
SHA1 of .buildinfo
2cdb49d1baf54b08f4d70735c48d78365bf8a097

Binaries

coq (coq_8.5-2_armhf.deb)
SHA1: a5133210cbd3e6da83d00a243acc469ef1f9cc47
SHA256: 5c19066447a61f9dc7acc4c42909e6479ca569268319a286edb462a58f425832

Size: 13,566,606 bytes
coqide (coqide_8.5-2_armhf.deb)
SHA1: 343423760512fcb3bd392e4795cd953778883281
SHA256: 86e02e6fcf7d1c33b745925e49d5a2872163529a46a3208e65345312fc12504a

Size: 1,348,622 bytes
coq-theories (coq-theories_8.5-2_armhf.deb)
SHA1: 00cbdc99c77dcb6e70e813fa2340e14cdbe548cd
SHA256: 1c6ed17837c72faf9bff039c7b45997c33d03654a1bb433faadd598edf96ff49

Size: 24,187,288 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_armhf.deb)
SHA1: 80e697c114d9b96762d03ad2caed0fedc19bbc8f
SHA256: 14f2f6bb8e696f2e2e15cd93c78dee76962aa74e56389f9f37881715d192957c

Size: 3,491,372 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_armhf.deb)
SHA1: c5fb009c959fc54f8a6147c9a321185e928feb0f
SHA256: 90503198b45ccb50b7fdeb167b1b1d98a6568eb6af1f3058eff8341f29f90b75

Size: 14,281,722 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_armhf.deb
SHA1: 6a7c48fabc8b7d8b0b203abb8d1b53c3ea4adf19
Size: 89,192 bytes
libcoq-ocaml-dbgsym_8.5-2_armhf.deb
SHA1: 36b496ddb0ecab9616a10ce1d182d5ae4f3f2672
Size: 273,882 bytes
coqide-dbgsym_8.5-2_armhf.deb
SHA1: a64d49825b7198083caa7608377066e5e38768c6
Size: 362,156 bytes
coq-dbgsym_8.5-2_armhf.deb
SHA1: cab94a6030977380d25059e4d7938110006d7cc1
Size: 1,411,372 bytes

Submissions

rmhvj3vn
Submitted
Wed, 9 Nov 2016 00:36:30 +0000
Signed by
0x00C8B57F4FD162BC odu3a (Automatically generated key for signing .buildinfo files)

Environment