coq_8.14.0+dfsg-1_armhf.buildinfo — buildinfo.debian.net

coq (coq_8.14.0+dfsg-1_armhf.deb)

SHA1: 9596b585d01b8c70f96d3f2b005fcf792fd9abe7
SHA256: c58e5f3cebd8d9ca57d3d54b3cb8bcdd7e3aaa7b9954a25d0f99d7715cf3670d

Size: 76,209,496 bytes

coq-dbgsym (coq-dbgsym_8.14.0+dfsg-1_armhf.deb)

SHA1: 91f41ed751d996a51162700a45bbb754c8d5601e
SHA256: e7abe247bec5c706709dd2f3ecb56c7beda7c2142fbde72efebf68ba1665fc76

Size: 7,247,012 bytes

coqide (coqide_8.14.0+dfsg-1_armhf.deb)

SHA1: 09c91f8646f1070c5502815366804f10ab62ee08
SHA256: 063bdde6e5b0fecaa3c683c15b03e2c85259c72cea89cdacd812a2e2474f8c63

Size: 1,757,476 bytes

coqide-dbgsym (coqide-dbgsym_8.14.0+dfsg-1_armhf.deb)

SHA1: d074e250284639c0b75a5ee428fec886fcfe9ff2
SHA256: dfef44cc0ad8e0bad9bddbea2afd559fbddc4ce0d9647f399d129380b9a4937e

Size: 504,604 bytes

coq-theories (coq-theories_8.14.0+dfsg-1_armhf.deb)

SHA1: 7b175b51158fba3bf2e4d0f96e72d343c1cc4be2
SHA256: b4896a4d4ed24f1fa5700ec4846cb643c33743694ba61683baa4e610c34a08c9

Size: 24,889,952 bytes

libcoq-ocaml (libcoq-ocaml_8.14.0+dfsg-1_armhf.deb)

SHA1: 0c0151669a831b55ad84fe5c4c94bd5f379233fa
SHA256: 941636c379d9ba3b4de881c364f1621cc1aae17391816ca2130f73b774f58315

Size: 6,080,604 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.14.0+dfsg-1_armhf.deb)

SHA1: c9823d5e72a98e31cf16f941fc21e1b0d5756696
SHA256: 9036cee171dd7553e49fced0ba637c243e185247b80c0c96a34487dc53ba2a0e

Size: 1,592,984 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.14.0+dfsg-1_armhf.deb)

SHA1: 39e1e48e778bb4175905ece285a7df16d3fe13a3
SHA256: deab87dbf1e6d583860998d4fe655d8403dbc968a4a1336c4827ece502173754

Size: 58,063,620 bytes

coq_8.14.0+dfsg-1_armhf.buildinfo (view)