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

coq (coq_8.12.0-3_amd64.deb)

SHA1: 5e8b161bd8df74e75618cb1e8bb06fe348240f38
SHA256: e55165128bab1d1c6ffce99084fe97ee4628e0549051c026af2a1fa72d3959d7

Size: 90,461,852 bytes

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

SHA1: 8bcf37709a19f5de77262863c0cacfb3045587c2
SHA256: 7768175d5ded706ce914651bef66f2cd4dd0d47357a47ac5942dc425e5ee6989

Size: 8,549,580 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: 961febd04952b84b1be886d9139749b7f00abf31
SHA256: 4dff82ea8f9a47190cf432685065e991b4e1cc0452f5103176cd09da75ed2485

Size: 36,476,164 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: ac650b6a7725d050fb43e7e9c9af611545f4038a
SHA256: 7f69523bb528eedc60b35b3d197c6cfd7e1da8d789d7a9f283e415b9188300f8

Size: 7,758,640 bytes

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

SHA1: 283e72c1fd2d199643d68a7545ecd0e6d2bfe407
SHA256: 604f3630d1f5027cb7201b45871380fa9014181b8b4cb13766938f84b620e7d0

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