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

coq (coq_8.12.0-3_arm64.deb)

SHA1: 28654970573573f4c87cb9c30a76b049595cfcf1
SHA256: 2aca4ac6a66e19d525532aba2fef486d795145942d1549a4ca3368b856ba83b8

Size: 85,579,744 bytes

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

SHA1: c2a155dcb009628485b0b1df526c1ced5826dbbb
SHA256: 089eb0635205303a1e9dd2f5701c9a2d16789d1753dcbb990f57993a96dfb98b

Size: 6,870,108 bytes

coqide (coqide_8.12.0-3_arm64.deb)

SHA1: 29c58b6b36883d188b6e49f37f062a09b6dff01f
SHA256: f18c27a6c6ee4e5e62154e063355836d081416e4852cdd085a83d61ea227d1cf

Size: 2,060,136 bytes

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

SHA1: eb69fc5c8edacf4b8330a2f682be7842719b2f77
SHA256: 6678b3e0b982475626b6f8b84645f968b0071c9e75726de76f3ce5278ba028c4

Size: 534,600 bytes

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

SHA1: a0f32735b9288945e39a3179977fa8f32b70abdf
SHA256: 739970967f5a4bf8dc1a5aadfc1f3abe35b504c45a5d410c2d9a2ea6915901de

Size: 23,918,288 bytes

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

SHA1: 65bf8a60d19948a9127ce4bd81f2300fc7b79f31
SHA256: 6c636188e870bdd0eddfb29ae6d33584e38668c5db141824381e2cacc79dba0e

Size: 7,145,948 bytes

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

SHA1: d9e41be57d52bc325d3a913c0ab1771db8a3d97d
SHA256: 65de5e3d15b7539b20f95407b919975bf8a1d8df9dea1222ef9d8604cbb2bef2

Size: 599,072 bytes

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

SHA1: 1aa72dabd79c6112bc542b0421f57f03c0287c35
SHA256: b9d114cfd7bbaf6fff418c921de4eaca5078a5b7227fe894c6adff3652b983b7

Size: 16,856,092 bytes

coq_8.12.0-3_arm64.buildinfo (view)