coq_8.16.0+dfsg-1_i386.buildinfo — buildinfo.debian.net

coq (coq_8.16.0+dfsg-1_i386.deb)

SHA1: dc3bd1b7e880f48a569af21e4b175425c38c40cc
SHA256: 0d979c72b1fd0a11cd669cb0554e060f5693a5fbc18623b05e56a8a3e06ce5d1

Size: 87,502,656 bytes

coq-dbgsym (coq-dbgsym_8.16.0+dfsg-1_i386.deb)

SHA1: 20761facdeb0805627d55887289d2691b759884b
SHA256: 2d7c2092af894dd27825c48d39afa86909d5266dd5dc1929d361a0638d69e784

Size: 13,899,544 bytes

coqide (coqide_8.16.0+dfsg-1_i386.deb)

SHA1: 33a373a81ea7c1f667905912a993f23b8aee8826
SHA256: ae976a838bb26eed47683914213d2657aca070c284e67c68c7e38cba7c2bfc22

Size: 1,812,024 bytes

coqide-dbgsym (coqide-dbgsym_8.16.0+dfsg-1_i386.deb)

SHA1: 63e6d2930f2c00cf433078cca144dccf04c2ff20
SHA256: 29104f6f21cf955c3e82846f25c4f13ac8f06984641ef79992e3eca59f094d9e

Size: 605,244 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.16.0+dfsg-1_i386.deb)

SHA1: 03931f811999a7903e32ff1bebe88ab0b3617ad9
SHA256: 143634a3bca44372043374eb77d379b7c96d4199fdde4789dc88f06562971f9e

Size: 21,747,480 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.16.0+dfsg-1_i386.deb)

SHA1: b38e15f24ca7dbc3418995c7c89117c213543929
SHA256: 8b79ffec269409e0d191d0cae94b0b9f8a17e587b2cf9b9263abc3d69723f6bc

Size: 2,096,388 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.16.0+dfsg-1_i386.deb)

SHA1: cdebc64acb7c8f2b78763283555ce5ba1266ed40
SHA256: 903c52e944656d561d9f3668258c74e33b0968cc4fb2657e59dfc1ca175a71f6

Size: 42,451,032 bytes

libcoq-stdlib (libcoq-stdlib_8.16.0+dfsg-1_i386.deb)

SHA1: 5a73b052f43fe18ebb6ca726ef856d5dcb2ec449
SHA256: ae40622f50579abe4364036c49dce1a13758ab7609e700256b2a6079c41c383f

Size: 21,534,588 bytes

coq_8.16.0+dfsg-1_i386.buildinfo (view)