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

coq (coq_8.12.0-3_amd64.deb)

SHA1: 001aca96a97671a0495d92abb929c9c5627f210f
SHA256: a247c5082772f5e91d754f6a78bf78d08532957627465ade87521c6a6b03b2dd

Size: 90,458,724 bytes

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

SHA1: c785a59a4882505768f9036f35f10f85a4f2b83a
SHA256: d128876f56e1be16f9e0e15cd12d1563b49658c5d2e75a69efd169f5279728fb

Size: 8,150,676 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: 598851c860f2f1e64e3c8c8e79c079aacdc762d8
SHA256: a9ab21cf725687201e7da7524b05046e59c19ad8d7d6c8b5dfd5da2f06fba94e

Size: 7,758,644 bytes

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

SHA1: 12935730b8c9122ebc439c0814b1970f87ab8cec
SHA256: 93aa73489d2496155a8ddbf9a35e754267595c7ea60540c7666223fec79f76af

Size: 660,568 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)