coq_8.14.1+dfsg-2_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.14.1+dfsg-2_amd64.deb)

SHA1: 155e4594f24d65c6dfd05292ff267e9d3b7c5277
SHA256: 1046754b464bbbd6d43fc8b248acf659a93aeee7f53eeddcb46396358225c181

Size: 78,507,840 bytes

coq-dbgsym (coq-dbgsym_8.14.1+dfsg-2_amd64.deb)

SHA1: 464ff3047d207df4972ada28111f41dbdcc5ad2c
SHA256: 333dca25cc1f0939bd39a35ec7bc4d344d5e2988ca9362efaad08e4062cc81df

Size: 8,811,716 bytes

coqide (coqide_8.14.1+dfsg-2_amd64.deb)

SHA1: 8cfee141ddadefa831fac8b46ed66c5928a1e3a4
SHA256: b2438f0c9f6af0f6968371d40c461fc96e2b0f36b8c5a9d00188e3b0e754bb92

Size: 1,897,412 bytes

coqide-dbgsym (coqide-dbgsym_8.14.1+dfsg-2_amd64.deb)

SHA1: 7ff32d15b94935919d8f80e36bea9eeb4a305637
SHA256: bace6e882ff04002f6aea95236b8b2c98702936193298b3878e39a5d7b066e30

Size: 574,936 bytes

coq-theories (coq-theories_8.14.1+dfsg-2_amd64.deb)

SHA1: d77db8e013c720eae0c1b01a79a4f46bf41584c0
SHA256: dcd4e4dcf590bb3f69f679c52b6a8a240a83588015398fcc56609f819c522505

Size: 21,755,752 bytes

libcoq-ocaml (libcoq-ocaml_8.14.1+dfsg-2_amd64.deb)

SHA1: ff6adf2367b69fa7b2efc2c71881e7d13b9d97f8
SHA256: b946395c4124eeb526890eac852332b18ae3e837c02fc6110d6bbed3ace560b4

Size: 22,292,232 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.14.1+dfsg-2_amd64.deb)

SHA1: aa6b0f4335c1a9eb82e8b53be85a6af0c27fc7b7
SHA256: f2347bf42cbf8cbc925653fe0bba9629f8b068e7f4b996d0188d6ffd734fcf07

Size: 1,656,972 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.14.1+dfsg-2_amd64.deb)

SHA1: 6d6a039420c270c3a2c111671ebfbd9d9b0e9039
SHA256: 1fd380b9df34df3f2396ac1293db11e258fdac77713490661f2f6a025ee3eb8e

Size: 38,870,440 bytes

coq_8.14.1+dfsg-2_amd64.buildinfo (view)