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

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

SHA1: 6cd9657ba61eb1e924d6e07f100a25724e7d448c
SHA256: 272aafdd58c16d5181f8710c9aaad52f3d16054af3e4b6c6a5302989aa2114de

Size: 85,189,228 bytes

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

SHA1: 9bfa636f9170cc0acd116c5e5a8a75d6dde19ea2
SHA256: f8306e98c1d005877aebacdad0f3e8dd6793fae198944fff1815ee059e233538

Size: 10,906,940 bytes

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

SHA1: 62e8f6e0f07a54bfc4afef356b58736ed1259e9c
SHA256: ca1c3dbff3ca998f05b837323da32bc160977cfdd4163261347a9c3c9bba3f33

Size: 2,297,944 bytes

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

SHA1: 98789a1576f5b8710ac5c0967ab864c7a966fbe0
SHA256: 119bf1f182e42e98d434b0a60eb7165baeaa980f05eb274f7cff2583eb28d639

Size: 731,400 bytes

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

SHA1: e631480a369171e8d748dc98ac99905952eb74d6
SHA256: e7ac0e9caa1edbba63175683763d6a0b9529ff70bc10bad0ff125e07d3c983c8

Size: 23,288,196 bytes

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

SHA1: 274f8d56906a9575871bfab8f3adf112176d3744
SHA256: 4d483a01644b32127bc63b913b8f006396c3f6c04f9a5957d434fd1871e03ea2

Size: 1,868,724 bytes

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

SHA1: d3a21fc82fc71f838686c77ae14d793e25b7fc41
SHA256: 37577890c5be9f57778e77652f20bf951f480fec8f79c8b7f3b4aac3c0615ac7

Size: 43,185,952 bytes

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

SHA1: 6d6e2e497adf818951e288d0974ac74941ba6f8a
SHA256: de85772b13b0fac4fc8398ce2ca3c1a2e89a4ee86a812183d1aeccb2463f4028

Size: 25,087,504 bytes

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