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

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

SHA1: ad68e49bf9834c3b2f510bda9cc3a48a3d603324
SHA256: 921752ca96be975f8ec785a334df68189f8c3a3968ca3ad84adaf5f3abe49ef5

Size: 85,193,584 bytes

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

SHA1: cae5613f29dc85c3f969d49ceb38ae711c04d71b
SHA256: b442aa1cc3608981f2ff4066e0206b6fbc2affba696ffae1c04be5200b3e0e1f

Size: 10,236,884 bytes

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

SHA1: 5db34fc39066986ae4327aa99d218b7e43019a0b
SHA256: 57e5baec717771e6e2ffb2f0a63399b9d9a981dbedacb7ce3f857f067422e4d0

Size: 2,307,752 bytes

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

SHA1: 1f6afc6768013cdb8940dbe75777bfff357a5107
SHA256: cac052b33032c26e6f019acd44ff5d90f245826c78ad4137685d20c5be080339

Size: 733,648 bytes

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

SHA1: 7b11087a37e1ee67990de08d18c621d6bf16db12
SHA256: 7ce9a8ce583bfe7fb468ffc2fd0a56a96a30b08668bda30b796342498402e267

Size: 23,295,900 bytes

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

SHA1: c0d09601342c44a491b5fe9aba3b44b033bd8a0d
SHA256: 4f41ddd7a875ed89f264dc4f542b2889468d9b5c273e6a770bd6b8f988616876

Size: 1,870,936 bytes

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

SHA1: ceb3f2450a7719aa63973481d6b8aee0ee6d9e80
SHA256: feb6c79057d8b14b41182d364fd26aea2d081be28abc743e00b7ffab176a1b1c

Size: 43,188,616 bytes

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

SHA1: a8c89edf34e9eb5292d36982f8c6003d5a1a499e
SHA256: 0f5aa268655c94fd9f49250cd239c0ed4675a18f605380644739191e63500585

Size: 25,088,840 bytes

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