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

coq (coq_8.12.0-3_amd64.deb)

SHA1: 90ca3d5faa093589201bf3057c173c24b8f6891f
SHA256: 4e0579aee648919012dd4709f110da9463b4f9bb63ab95d52f7164748789bb60

Size: 90,450,028 bytes

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

SHA1: de98933e5ee7301675ba66be3473534f213f062b
SHA256: bd5afbbbf08ad75b9c0886eda176161573d5433fd5958f8de8606b6db91a4b14

Size: 8,689,184 bytes

coqide (coqide_8.12.0-3_amd64.deb)

SHA1: 00f7a364fe49f0daee25e0a1cfa08b2a9f73be8b
SHA256: d3507e06795bbac715c960ca331ffeab8fd35ba93f8f2fce7afcfbdacecc7662

Size: 1,877,628 bytes

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

SHA1: 9beb99dabc843052f9051c4d67372178c865acc9
SHA256: 4efa1660f72c8536a0b886aa0d300f64e96c48c6c65d361300260fdd8b9b8cec

Size: 569,532 bytes

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

SHA1: f506e5c16646a55d56bf8069463c1e303d86ff4b
SHA256: 91c0878e6ea0b877d91835b7c826f43c39ad44da7dbac78080c13d01c40bbd10

Size: 36,476,400 bytes

coq-theories-dbgsym (coq-theories-dbgsym_8.12.0-3_amd64.deb)

SHA1: 330b733b7cdba50d765604b39386e1f4941df788
SHA256: a746001239d7e66a6f243eb2614f8e08d927facef775e4eecaf47817d4478cd1

Size: 986,592 bytes

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

SHA1: 12ee694f9d55774fca10186ef45487d385e73d4c
SHA256: 17400d281ab83d67d0ba4c46d4a740cae4ee109f0868e0c650d30d1ce1d9aab5

Size: 7,758,652 bytes

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

SHA1: 0d94b52ce3de8ae9d697b9493f8ed3293e52e5ad
SHA256: 737fed15742621758f7ed583e4ab1690312105475025e7588327068a5fa152dd

Size: 660,116 bytes

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

SHA1: 9c46c54a7a64be165f3d50522cc1a36e50699cda
SHA256: b802508a848d0fa0d161010699a0740cbf4f7c3c593fee5b7ed122cf95ba29f4

Size: 18,724,636 bytes

coq_8.12.0-3_amd64.buildinfo (view)