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

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

SHA1: 7efeff9ce7e5c0c838b189e9e2ef1357d9d95840
SHA256: 297e8c089869a9f810610091ec451dba3bbf9b401cc7f3bbc2fec2aaa18cb9be

Size: 80,448,812 bytes

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

SHA1: 13b4f7219f9a5c2e4ba82590628363d7bfb10426
SHA256: 9ec299e0d60f3e7fea82e9643e19bd741a2b85b32432220932c77f37d3fe1f10

Size: 11,213,856 bytes

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

SHA1: 88aa6de6bbb02a61a3594971c3ae645877c1383b
SHA256: c563509d8cc59d337677067f8af6e9df48b8b22158ed3629aee3e654522c71aa

Size: 1,996,072 bytes

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

SHA1: 82d4086352e662657cb841e6e6c6f95172c2556a
SHA256: be94007d1de903ef15634e31ec97260c20a4d37afcea949a3c90a9116be25b13

Size: 637,764 bytes

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

SHA1: b54bb779ed144c3910073f2381e3a7d20ce5aaf2
SHA256: 51f55a474540caa0628e8aa31d32c3e1dabbf97f1c6a5e2f3c94efd6a2e4aa27

Size: 22,482,800 bytes

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

SHA1: c57b27e865c4c510433812fa579671f56df649a3
SHA256: 0d32ca7938f7f1d7131d75840468d3ad4c192891ba8ca942c00932d94f9958bc

Size: 2,144,700 bytes

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

SHA1: b093126e2120aea68bb34aa607e371690c06aeb9
SHA256: afacdd377d7b47aaf8506d84f03682e33570cc14a0c79a32913b618182ade3de

Size: 42,602,368 bytes

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

SHA1: 1cf18e2b759e4d65d2926c6ef3795dc266df801f
SHA256: d3f352647d14a69914ea561fa7b18e2664d49895e999c0a72f41a26cbeae23f0

Size: 21,427,344 bytes

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