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

coq (coq_8.12.0-3_amd64.deb)

SHA1: a12fdb51a451519e6c4b6addad4e9b69df3a7202
SHA256: ad807d5aec51430f83e9377219b2180c2c0ff0dbcb09e224b8d4d5e1293f2ef7

Size: 90,460,376 bytes

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

SHA1: 2484778a0e0231f620e3c35f8f132d0497fe988d
SHA256: 261fe2f55b97f23e3c87dd67b76adbe3795cbd30461418cfde1564daf5af7795

Size: 8,867,312 bytes

coqide (coqide_8.12.0-3_amd64.deb)

SHA1: 838faefa9925515fbd374137dbe422c5b5ef0c6b
SHA256: d6bad6910ac5dcff9c719fe13442152cde08f35668d4abf2754d0b232cef14e4

Size: 1,878,524 bytes

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

SHA1: d986c066d2b4b8caec74103cb48cc544134b020c
SHA256: e2c39d2d0e4e4fd1062e03c92e536ed50bd89f272605e8b809e37114df6438e5

Size: 567,964 bytes

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

SHA1: 8c06b850a1987228eeafaea549c5bb0c1eee0460
SHA256: c4bb88dea09d347126ba3f021211ee7452bd19a7272df6d67ac7447470916405

Size: 36,493,772 bytes

coq-theories-dbgsym (coq-theories-dbgsym_8.12.0-3_amd64.deb)

SHA1: ea21e28305d4133ce6f2be694753f4e0d6c4c402
SHA256: 746d1c47bae58b74a56b3b9f131795fd54f1266f255835f3d427173d32f9a8e2

Size: 989,288 bytes

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

SHA1: 83f212fe4fd1f411d392d59c09c52a9b43460e3e
SHA256: 1b5cc3decc2ac52d13606f22a12fbeb39d3afad4ca4a76f00e7a24af13dd1e67

Size: 7,760,236 bytes

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

SHA1: d29c363078f2561ff703b4b01aaf01a975dfcf08
SHA256: 7a2efce3ff2b53fe59e7bb23e4e877bece765380af222a406769e6d487fcc78d

Size: 660,864 bytes

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

SHA1: 41f63d7007700e793baa8233bfd56b23c160e60b
SHA256: 4f7976d683b82bb7ed56c9504da52b7961449413c431db0cbcb88a3c5c25e6e5

Size: 18,723,064 bytes

coq_8.12.0-3_amd64.buildinfo (view)