coq_8.20.1+dfsg-1_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.20.1+dfsg-1_amd64.deb)

SHA1: 42d2e0d0c00c03766aa9b7f70fb7c754d785994d
SHA256: 5f4e9ea1737a6ed964ad42adb091e83718ef478a4faacc78fea5f8f45bbe966e

Size: 70,225,304 bytes

coq-dbgsym (coq-dbgsym_8.20.1+dfsg-1_amd64.deb)

SHA1: b65165a63ed03d1240843d99f7cbe4b7c08476ec
SHA256: b02950482d57571f549e2694d3d8daed0a28e58c3d387e1492866193ace7c38f

Size: 8,969,448 bytes

coqide (coqide_8.20.1+dfsg-1_amd64.deb)

SHA1: dc374cdc84a4a42ddb25c2f69c01897190a8f985
SHA256: 58315988176a8fd460f61f2ef2d88e97ada56ba6fe2a1443ab44fcc0303da637

Size: 1,928,716 bytes

coqide-dbgsym (coqide-dbgsym_8.20.1+dfsg-1_amd64.deb)

SHA1: 6d9016717a900c8941e543373e68d4a9910b0cb0
SHA256: 81a2857eedb2313e62b32f18d8368d33b80717c3c5c6b842c1c44740f5e292de

Size: 640,544 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb)

SHA1: de37002f7b368e2d98f3d32854b1a5210a91cb0d
SHA256: 735dd29d827b88c39ad283e08009748c955b7d91812214017bcf471b6b9176cd

Size: 25,950,088 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1_amd64.deb)

SHA1: 2d644962e73d4f97695c3f35622fed244b06675c
SHA256: 7507c43811c05ff4e86ce149d88d7bd5ba4bf9d12a58c233eb048277a5121b0f

Size: 2,515,148 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb)

SHA1: fab89cb5643f5566562e7011ed7640feb3a5a963
SHA256: 219b887ac9d7779be3787559fbccae7b077f1c17084f31f3920db56e3fcb1c7e

Size: 68,702,520 bytes

libcoq-stdlib (libcoq-stdlib_8.20.1+dfsg-1_amd64.deb)

SHA1: 4efa65f6ee9c4f428d9c2354c758a78a14f621ac
SHA256: fb59f579f1af09afe3d0d82e5c8b528449b6d3c24184c6082b70fd408d39b807

Size: 23,527,428 bytes

coq_8.20.1+dfsg-1_amd64.buildinfo (view)