coq_8.15.2+dfsg-2_arm64.buildinfo — buildinfo.debian.net

coq (coq_8.15.2+dfsg-2_arm64.deb)

SHA1: f276cc87c994aa6ff1c239f2aa2b781bedd6305c
SHA256: b523787bdf4309ce5bce1c8b3582b85eb60f8d37ea5a6256616ddb3d86995043

Size: 87,903,684 bytes

coq-dbgsym (coq-dbgsym_8.15.2+dfsg-2_arm64.deb)

SHA1: 1b324ae97cc2bc742a9e5366f587490d1a692c3e
SHA256: ec1bf9acef455fce1a88b3ea168831b7ea1b64f91f8b4fdee45468b261882047

Size: 8,342,020 bytes

coqide (coqide_8.15.2+dfsg-2_arm64.deb)

SHA1: a10ac28e315f0320e612784d7066b5579160ffd1
SHA256: 1c73374f77ecf5965e16b73b492b3a0b08952eac5d824ef1801ca75cc0fd565f

Size: 2,310,200 bytes

coqide-dbgsym (coqide-dbgsym_8.15.2+dfsg-2_arm64.deb)

SHA1: 6085de33b9f66f21967e5d5efe4230af784dab87
SHA256: e050a274a47a151a4a9876d0884581bdf08a44e38532bb9b98d5e8a501e6563c

Size: 599,392 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.15.2+dfsg-2_arm64.deb)

SHA1: 5569efb155df9ed582c2320d626f1143b8217171
SHA256: e079009859744b376db41296bfee02f31936a3b0ff1a196db21c6416cc020189

Size: 23,017,028 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.15.2+dfsg-2_arm64.deb)

SHA1: 719c556ec11d4813db3af47d79e29078d8a6ebbb
SHA256: 5c4547d35dfd64646f2329ae3cb29ecaebf4bb447acf583e21679c215b7e3de1

Size: 1,373,084 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.15.2+dfsg-2_arm64.deb)

SHA1: c3dc2b72eb065f5a54f6b5a7faa0769096692122
SHA256: 44d47a66af5c5b4ce995aed4ea4c1a62dc5cf0df8d38b1bdd908ae0bd3359fa9

Size: 42,344,044 bytes

libcoq-stdlib (libcoq-stdlib_8.15.2+dfsg-2_arm64.deb)

SHA1: bab603e8bc88a3d445c74d2e9180aae359407295
SHA256: 9c243c9662c3a73961670aea459d03fc69e47477b725e2ef450e2895a9dcb17c

Size: 21,435,324 bytes

coq_8.15.2+dfsg-2_arm64.buildinfo (view)