coq_8.16.1+dfsg-1_i386.buildinfo — buildinfo.debian.net

coq (coq_8.16.1+dfsg-1_i386.deb)

SHA1: a7351bd7d518c2d6ac1e4300a0dbb3205a44ead4
SHA256: 32a096845ac87d4c5164ebe999c637777df78f31dd9828ce53393c4690f6dbfb

Size: 87,498,108 bytes

coq-dbgsym (coq-dbgsym_8.16.1+dfsg-1_i386.deb)

SHA1: 5c94664273343d9b8dae2bc8901d3e3aa78b02d6
SHA256: b3feb5ed8e615d567e3b1de50ded2781df1457c2ae57ceca6a2a866056099d16

Size: 14,760,844 bytes

coqide (coqide_8.16.1+dfsg-1_i386.deb)

SHA1: 4b19e66b7a23128427fc2b2868e7c1229dcdab66
SHA256: b03bec0e43394760e47dba3ab000acec80988da986695057af5ead2ae436766e

Size: 1,807,228 bytes

coqide-dbgsym (coqide-dbgsym_8.16.1+dfsg-1_i386.deb)

SHA1: c6b1f4fceb12ccb826441f7db4bffd7ecb08764e
SHA256: 4f57b1187f5719585a6e6d9139d5ce7a5c2bb409a2f9e0f2c316b2f516d2a84d

Size: 696,488 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.16.1+dfsg-1_i386.deb)

SHA1: f822124134f38523d3a26b1687d7b666beb9428f
SHA256: 83c061c6d1af66c30ed8795e592ef41aa1c980e3ca4ab6e8dd8441a373c2ebe9

Size: 21,742,816 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.16.1+dfsg-1_i386.deb)

SHA1: 36bf5b7a6bfdb9cb36ee1c0d7b90c4799c238fb9
SHA256: 65ad5d98ee328fcbbeb1c22889b119488c57cc3e79a21bced8adf3fa7bf098e2

Size: 2,105,500 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.16.1+dfsg-1_i386.deb)

SHA1: 4f823c08e998f99e7466dd7ba25b198984eb5c16
SHA256: 2dd0691bd6b871fd9a9241687cf5c43446055781132646f9e90c504def4c846c

Size: 42,445,468 bytes

libcoq-stdlib (libcoq-stdlib_8.16.1+dfsg-1_i386.deb)

SHA1: 062684a7dad26876ea273df78841a3b3a0a49b2d
SHA256: f79ba66b712b06009294b39323366b39d24770799be1da30f13c2ad6092762f6

Size: 21,527,252 bytes

coq_8.16.1+dfsg-1_i386.buildinfo (view)