coq_8.12.0-3_arm64.buildinfo — buildinfo.debian.net

coq (coq_8.12.0-3_arm64.deb)

SHA1: 6ba8a08f384c67172d52d8cc58b73e50ab8a3154
SHA256: 12a9cadaca4a3409381bcf097c446652f97c7da01af04b45201cf642b25d31b9

Size: 96,033,460 bytes

coq-dbgsym (coq-dbgsym_8.12.0-3_arm64.deb)

SHA1: a3514f6dc933b8e85ac97ade6db7180d44c44d97
SHA256: 2374b1f85a57e554ec521ec4db4e1a8ce89dfd636d49ad3efff3d6462b9468e3

Size: 7,029,672 bytes

coqide (coqide_8.12.0-3_arm64.deb)

SHA1: 886c453dd39bf716b59da8ba87b2daaaa3e59b0a
SHA256: dd0823d33625c3b255107f9c27e949c3d3c3fdd6d923f90af48e6a556b69102f

Size: 2,175,752 bytes

coqide-dbgsym (coqide-dbgsym_8.12.0-3_arm64.deb)

SHA1: ae720df93c3e08b261527e931126c2e98a809662
SHA256: 78f3a7a5f58189abbcdd7fc38d24ea60f4394ef048a2a5dc9baff52a03463cea

Size: 575,468 bytes

coq-theories (coq-theories_8.12.0-3_arm64.deb)

SHA1: d83754f4f670cb6383057b5eca7a139c5ad2c132
SHA256: 3f5df8d1effb4c8ebfce03234206f42079f44cd7b6a420de818b808769da84c0

Size: 23,923,300 bytes

libcoq-ocaml (libcoq-ocaml_8.12.0-3_arm64.deb)

SHA1: 207a87cc6bdb2c43475f2d80de31682cda315af4
SHA256: b0932277079b22610b3c3790a766cad1ee841c36d628c372741ac0e00bb409f6

Size: 7,977,756 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-3_arm64.deb)

SHA1: aa401babb428a6bdf1c9897cc7d988a5791530cb
SHA256: 77e933a12f99eade43a8f2e2181b6d8a586ec318ea00449ee0b272bbb1a4b525

Size: 574,964 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-3_arm64.deb)

SHA1: f0d40712937dd8979d7e366c2cf1dab131abddbf
SHA256: 56011d96b3e5ed18e50ed0b199e96db9e851e63e52ec6dec461fa72a8cd7d78c

Size: 18,726,256 bytes

coq_8.12.0-3_arm64.buildinfo (view)