coq_8.18.0+dfsg-1_arm64.buildinfo — buildinfo.debian.net

coq (coq_8.18.0+dfsg-1_arm64.deb)

SHA1: 5ddce5369f3b3fed15677ff85ea44759e8628160
SHA256: 7d40c4d18e0050b7eb7995c4e22b69a1dd90441df8d5a19b0d7c6bfe36047266

Size: 88,137,584 bytes

coq-dbgsym (coq-dbgsym_8.18.0+dfsg-1_arm64.deb)

SHA1: c7f4a420b6d63618155f60a1c27765a071b8a36a
SHA256: 091d5e98265e455e90b9e0a417e432440ab73c25933dba885ede995a22e576cc

Size: 10,383,288 bytes

coqide (coqide_8.18.0+dfsg-1_arm64.deb)

SHA1: 03c0422ee9748c10e98ad025a25db45db066f84e
SHA256: 4cd775ede5b8c48ceca171f3b2fc8773b062089b96514d1742d9027c29fdb46b

Size: 2,330,808 bytes

coqide-dbgsym (coqide-dbgsym_8.18.0+dfsg-1_arm64.deb)

SHA1: 344156bf2d42f47f7fefc52a18ae4a0fb0f4c832
SHA256: 11218a08c939293821fab3ceddbcf2da992bc66dd59402af05ff8d5213985192

Size: 746,924 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb)

SHA1: b22cceff3e59f8daee24a6d0c25045a2bcc5bad1
SHA256: a5b84929084f3d5ccc4c433d4615acf4c6fbddfcfdd159a5ab3bc7efcb8da2d6

Size: 23,768,732 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1_arm64.deb)

SHA1: 74d4b2158fa3fd4f545d17cdc8adb0e00a0fa6bb
SHA256: 4ff7ae68bc37189f14aae4d61f8778b91ccd0062b946223d071340ddf65504de

Size: 1,963,480 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb)

SHA1: 7e261c3ed8fdeb1b176642841d10f171a3755622
SHA256: a8d0a2902328e07f97a81bade1845da8ce84aa0f6243a0376439ee4af4378096

Size: 44,511,316 bytes

libcoq-stdlib (libcoq-stdlib_8.18.0+dfsg-1_arm64.deb)

SHA1: 47c90969b854d31a930c62131be4fa491149b4b4
SHA256: b7dc3bde7bffbf74fc6ca6851552f5806d4ff79b57554b692a90688b69a30506

Size: 23,235,568 bytes

coq_8.18.0+dfsg-1_arm64.buildinfo (view)