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

coq (coq_8.12.0-3_amd64.deb)

SHA1: 6c6912cf8e4b8e27cb4bb88689ef28ea6a8ead02
SHA256: 5db2d2c2d3c5cd4d8a60335bbf61dddc6beb54fddd1b792f62bee049c0a2cdb0

Size: 90,460,624 bytes

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

SHA1: 75efbc39d646d26d7f7713d682497c6c1a0bde9d
SHA256: 236cac3da2e8e8bd0505fb51a93038c16e4e90b40d7716743cd846cd463a7d90

Size: 8,496,740 bytes

coqide (coqide_8.12.0-3_amd64.deb)

SHA1: 3dabfe25620cd9e95b23831a4a664831df4ea1af
SHA256: 8a5f9518ad00d69ab445ed71007716162f40f4a51b5ecda9d0521c01d3c330d3

Size: 1,875,492 bytes

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

SHA1: c5e6d5256844b6bbe6c9f62a3333dbba3fe11293
SHA256: 5a12b31d031a765f16f83d948308a0784f71be2f87dbc7dcef55ba207f94943b

Size: 568,972 bytes

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

SHA1: 8bd0d5bd76fd1e6a539d3dee0341252f055e43b6
SHA256: bf1f7bcd05be5b5c99c589f87498907c8afc4d156370bcb1a1aaf6a4aaea3c3c

Size: 36,459,024 bytes

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

SHA1: 5e16c61b340306948a1155f8dadbd6e42a1356c1
SHA256: bf2a7c3fd3c997f4a98905346b6873ce090466960f89bfaea901ad5fe13b809e

Size: 977,552 bytes

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

SHA1: bf18ee74acc89256f9e60601208e59c658d28f94
SHA256: f5c6b87f5e1a3927cc570bc5efb1d94c3e232c4925add351a02cf5a3975a71e8

Size: 7,754,668 bytes

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

SHA1: 66becf215f49b4ed0d27d0847606bd2d576dc262
SHA256: b06c647f2be2f2ed9275dda0647d2525daf733d9b75e4e03db82b2b07a4a5d84

Size: 660,556 bytes

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

SHA1: 72183367762076ab094ab11a22f9a4475d048736
SHA256: 788703d7432c5b0153d02b265eadcf1a656fa34c10e93091ed79d233d0eac0a3

Size: 18,723,964 bytes

coq_8.12.0-3_amd64.buildinfo (view)