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

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

SHA1: 27d1f8aa60cca0b2d01999d5a5e02d3616c32e6c
SHA256: 1a91098e0c034025764581670847a9811bbc2d52bc280d35e087df7e35bfb374

Size: 87,878,044 bytes

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

SHA1: 93f525bd1d3c69684c6179504f92093fbd48f52b
SHA256: 238b308cc4a8e4a27c9e65cc3f323c3f51734ec1c42727cf7f5b071c2507707a

Size: 8,639,168 bytes

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

SHA1: 91c802b073e5a61f33f0442b411f36ef99310ba4
SHA256: e3ff953cdb0e4464a239a3e85ca4b573871717411348cf0015ff080880fbe707

Size: 2,313,764 bytes

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

SHA1: 941b2191495788d5023659d95844e4f04886ac94
SHA256: fa5c669da8ac9868f09cb6cadb7cc36fb61814ac97d067148b2b066fbeb31549

Size: 597,872 bytes

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

SHA1: 971df22c1e49091e34461859682078e3e9093c10
SHA256: 8eaa5239374c1fc851d77d1ba41853f7d9be6a16499c045560c003a0d702916b

Size: 23,017,108 bytes

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

SHA1: 1ac3e09e21d71341f2e6071b0f9b95e56eceebea
SHA256: 74375742fd9a46a0c6744b191839ea7bfa58e434733c4a31b77ecf823bbb3c32

Size: 1,372,772 bytes

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

SHA1: eda0298c62a7727e06bc45adcfbcdab66d0b2504
SHA256: 37a15356a41b6b1dd18367fe41f901bb2c1b117f468b9a5d72c134aff99efcd0

Size: 39,310,948 bytes

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

SHA1: ced00875b6eacce0457a68af451b93da73d5021a
SHA256: f66ba0b23a07073cb978acd1b316833aa1c67d830ec34ec336c0717bcdba85a4

Size: 21,427,796 bytes

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