coq_8.19.1+dfsg-3_arm64.buildinfo — buildinfo.debian.net

coq (coq_8.19.1+dfsg-3_arm64.deb)

SHA1: 8726732cebece71b81331de7019c5682e7980822
SHA256: 8a9b5ce6247f463ef3e214b9cf50cb3bad19ca26a9eca2f91d068cd249d92808

Size: 91,746,864 bytes

coq-dbgsym (coq-dbgsym_8.19.1+dfsg-3_arm64.deb)

SHA1: 2775623184b32a0230ebbda1ceb28ad5da7ea723
SHA256: ce31f6903e3c2447bce6edf812e53ffbabfccd9c8a8754c89b7f8b79e054c596

Size: 10,082,676 bytes

coqide (coqide_8.19.1+dfsg-3_arm64.deb)

SHA1: 1a4775cdb0e34939104131ab53ebd75deec5c0fa
SHA256: 971c60c3ca45b629a219c16467bb54cc6e30a1b016dd071c97cfacb63e0a5f88

Size: 2,453,760 bytes

coqide-dbgsym (coqide-dbgsym_8.19.1+dfsg-3_arm64.deb)

SHA1: 33692c388f4eff8621ebc4bf45ae2863b24f6f01
SHA256: a539cc4ed3a3e484663704e00003cc64db5fe3a3779e1c4ede87bd6206d444cd

Size: 770,740 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.19.1+dfsg-3_arm64.deb)

SHA1: 213bdd239fea2cd6a9763789117ac762d63e62d7
SHA256: 50b4dcda50c0760154a35c33a331c2cd9147717ae291c3d5d120774136f0c056

Size: 25,474,304 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_arm64.deb)

SHA1: aabdd3f25f1a0e085b7bc1fd67ffd8a041305b7f
SHA256: 0821e43689f39746f40355b6407b59aeca56472515cd95854d3eb7a0c14a67f9

Size: 2,283,808 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.19.1+dfsg-3_arm64.deb)

SHA1: 833de630ef5932ba0f57b20d316521e4e38d9cb6
SHA256: 0ec3aba2b62cf447a5c4c56b375de1b1956461ef50fcb04d928c0fbe1e151804

Size: 67,058,208 bytes

libcoq-stdlib (libcoq-stdlib_8.19.1+dfsg-3_arm64.deb)

SHA1: e59843a199455b41cc1944dc8c8d1c52bbbb6ef2
SHA256: b8b736a28e26556cc0b6f0282ce7cf4f12220e3dfc7d9a4e57e004527afe5897

Size: 23,657,380 bytes

coq_8.19.1+dfsg-3_arm64.buildinfo (view)