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

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

SHA1: 7a3ad48c8a182d92bfb3268c51f8561cecfb7648
SHA256: 36f1f2a0e134e5eb39de078943f5e1974a070d9d64b3500db70949056dec22c8

Size: 102,177,284 bytes

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

SHA1: 075eb45b97e9cd82c5d4499747ea53ff24d30ed9
SHA256: 0742382da24f04a8921a51c419121da817bd17c702edf73da3165e7bdbd290fc

Size: 12,499,888 bytes

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

SHA1: 3c6a872225e8b5a7bda437706eb9e4f9c531c66e
SHA256: d505cacead62a8a4e0abeaf3ba093abefd9bd9be4e3ba7ee2c9d72ca08bd7d6a

Size: 2,305,768 bytes

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

SHA1: c70c0a538c0e9f7c7fbf7f1d2e53c29a8b700e92
SHA256: ce75e939b598ab10c2681e25c71e732469d22f9ee4728c86518aa8871ae8b84c

Size: 643,712 bytes

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

SHA1: 0377c13a99b8f86a6fcfd6a17754e173a73fc241
SHA256: b5ae9c379c83d3d0055d359b4b9ef90fe42dfb253ad3897f84b67af8082c518a

Size: 23,094,604 bytes

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

SHA1: d88a595c67942d8017bc83d9f6521c8b864ea409
SHA256: 243ec264a6227a37cf60ee605c3d7d3e9eb3508f17cf944ebf93752b7d73d0aa

Size: 1,854,964 bytes

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

SHA1: d9cf6f97c6a8cb9ebf1ffa0b7eb1d7bd0a4751e5
SHA256: fd1786c6884d1cf44a641b3654fadf47d7960259e3af59b4e45f990ec1420e55

Size: 42,820,740 bytes

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

SHA1: b5465c9c4877fc540ab0817e4e71fb186680217f
SHA256: 5ccf1a4fec2d2388221893a05a01d0fdba4d1bfa647b565f63fcb9ba48c268f9

Size: 21,526,528 bytes

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