coq_8.12.0-3_armhf.buildinfo — buildinfo.debian.net

coq (coq_8.12.0-3_armhf.deb)

SHA1: 05e4bd2f2a7bfdf6755994f8287d98c0bc60ca1a
SHA256: c8606523b758af89d01deac8509adca47cd8aacabc8faaf408f50658225440c5

Size: 88,355,112 bytes

coq-dbgsym (coq-dbgsym_8.12.0-3_armhf.deb)

SHA1: 7ad4c0f65e863117ea90829747bf446856c61850
SHA256: c40b1ed90976fbdf5efa55f78bcc8d228beb60823b435ad5161a50de030209fa

Size: 7,092,852 bytes

coqide (coqide_8.12.0-3_armhf.deb)

SHA1: a65f08a8229c53594a1387caeb84bbcc4af6e24e
SHA256: f849eecf3bd5f5fd29dae7091c5d87c928c2a0cc3bd89ebd50b0b7a624ae1c5a

Size: 1,736,464 bytes

coqide-dbgsym (coqide-dbgsym_8.12.0-3_armhf.deb)

SHA1: d2794847f52ed0b7d15e7e5a1f7c1dda4aa47a45
SHA256: 8e697d8754b708f1515fe63736e6a647d45ec1092e8e5ece72bc663bebf5777c

Size: 501,156 bytes

coq-theories (coq-theories_8.12.0-3_armhf.deb)

SHA1: 2fb0b031216f267d1b950a6380e392b4acafa66e
SHA256: bb5a63007271d586a38fe0139743ed4f61b53e752b557a0b848ea57b37f94d7a

Size: 23,920,676 bytes

libcoq-ocaml (libcoq-ocaml_8.12.0-3_armhf.deb)

SHA1: 27357f5a32f69505d3ab14b376d0811cef8a8669
SHA256: c02aa614d22857231d7afbe97835cdd1b8583a50db95694487ef7d7077ffd439

Size: 7,744,460 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-3_armhf.deb)

SHA1: e2d0c151347312a4cf9443e13835995f8dba544a
SHA256: 649d47a63972ec21e6b951576b0d8e6a30dd30bcc639f877527714df371848de

Size: 582,432 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-3_armhf.deb)

SHA1: 4253c4171717b88104beedd7217969390568c260
SHA256: 4c7e22191e26e8a3a3f335df69a7ab7bfeb25d38a9c33934fccc98266c37dedc

Size: 19,197,864 bytes

coq_8.12.0-3_armhf.buildinfo (view)