coq_8.19.1+dfsg-2_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.19.1+dfsg-2_amd64.deb)

SHA1: 2cd3961f9d86596dc936ba44759b7305701a17e5
SHA256: 57240f45e9c9360610f5f4b9e94c0132c7fb5907c6fec93019753e3303f13683

Size: 82,416,720 bytes

coq-dbgsym (coq-dbgsym_8.19.1+dfsg-2_amd64.deb)

SHA1: b633f733367d7b08201ed1deb5865a3f2d7bf339
SHA256: 7f19ffc4dc23edd7a8604320dfcdf3588a15bd1c1612721d66a1b6a585d04568

Size: 11,832,216 bytes

coqide (coqide_8.19.1+dfsg-2_amd64.deb)

SHA1: c687b6c5a0e40bcc52800c1e58dbf8c395f7dd1f
SHA256: 960a1ba7231721d01578e7a871f5161c54bd771637d815c5766682ba4d81836b

Size: 2,003,356 bytes

coqide-dbgsym (coqide-dbgsym_8.19.1+dfsg-2_amd64.deb)

SHA1: f0fceef8cc80dcff99746d0728468f94b0d69520
SHA256: e825514d3385cd182b6acaa53c653d6f63c8f02fea72485df8a79b5aea8bd221

Size: 748,676 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb)

SHA1: 47edb4ef1a32b558a9b1bf47d6fb531359aaf578
SHA256: 9e5b2749d27e225489d4d0010c8c8cc6c247988b64b899b5b9a6a5d5b48e7986

Size: 23,200,956 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.19.1+dfsg-2_amd64.deb)

SHA1: a7a8cc520ed2e242892570e457cd1fa7de4d02e0
SHA256: 70a9b1d2116a79b740d15893dcc70f0174831334076a1585df5139d1269e6451

Size: 2,497,156 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb)

SHA1: 5e7651110f1271f98bd9397525e913d92ade595b
SHA256: 05a2d65d97952567469947faa14ab92459d770a4ef4e1592866b37358d5c2462

Size: 45,592,364 bytes

libcoq-stdlib (libcoq-stdlib_8.19.1+dfsg-2_amd64.deb)

SHA1: 438d7475db763e91e629375adc8638fff07f809b
SHA256: 5f1f205791b69dd46305a8dbaa908ec7e23481de32a7c648416c5fd6aba4ddd1

Size: 23,653,852 bytes

coq_8.19.1+dfsg-2_amd64.buildinfo (view)