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

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

SHA1: e799383c5a525b9a302a4ee3fa2dcaf40df92506
SHA256: 579fa88e0182d110335e0ce691df140626bc56b5121eea966488cb7fe2fc0f37

Size: 88,090,524 bytes

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

SHA1: 7327fabf93e34008e6f4afb574f8e9af2e1dca3c
SHA256: b1e92eac3ca73d7d9e722d7de1ab92ccd1638fb300d1686edf4841e6c8ddd3dd

Size: 11,002,068 bytes

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

SHA1: 3bbd4fe86f11f09f2c0714fae608fb08a7af90c1
SHA256: d29a75a2e3041014167d87bed4119a63e7f5e19dcddc76b403c473e4211743de

Size: 2,328,252 bytes

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

SHA1: 730c92afe107c6d14c8b8fec8113239279e18533
SHA256: 30c52ea44ffbe9ba2e06220297ced1e0e0c5e50f93a239333665c9a602948112

Size: 745,876 bytes

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

SHA1: dacfb5f3e9862586247b2826809f52e0b177ab42
SHA256: 2bdfde6f8bd378c85397718b1b36e761ac604d77bf26d9e56c11e0a56d66a663

Size: 23,772,248 bytes

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

SHA1: 30f3fb8b169c98055888eff41ea8ca8a697733a6
SHA256: ada5690bb043c2a97f527e7ae781a7f4f33bb37ec0cd7e0d41404ba35285ef82

Size: 1,962,564 bytes

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

SHA1: b4835b37b53b490a3da7e6f67183d7597040d340
SHA256: 5a280da133c36ce54e5bd2802f2ab802449a298c68f62371d31a807b97a72000

Size: 44,508,172 bytes

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

SHA1: 4810ba2c6c7ed7e78fe39eafcafb72a302daa5b0
SHA256: 6e21eb52176b8aed83b72d26d4462eae644dcf6afce7f2e3fef23329f6d8f7cf

Size: 23,239,500 bytes

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