coq_8.11.1~pre1-1_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.11.1~pre1-1_amd64.deb)

SHA1: 9c80319f2d35b88ca8a62e56ab90d924192584c2
SHA256: fb0263fb947e750da28e2059fc0db10622c8946da0f3920d7d183e040e641dd6

Size: 76,536,452 bytes

coqide (coqide_8.11.1~pre1-1_amd64.deb)

SHA1: 231603861239ff1868e44e1bdf2114e94b108b77
SHA256: 4624c431436dd51ed7f94610c42c177087d798b02012ca189be1cc1467f40a0f

Size: 1,713,856 bytes

coq-theories (coq-theories_8.11.1~pre1-1_amd64.deb)

SHA1: 3fc9401c2bd996dd8ce4551c5af0987f71fd1541
SHA256: d616510be07411f370e05deecd071184f16faf7d8004daf3358f6e60f1feb4bf

Size: 33,277,936 bytes

libcoq-ocaml (libcoq-ocaml_8.11.1~pre1-1_amd64.deb)

SHA1: 59b9213b5f4dcf6beecf84111caabe4a05613b7a
SHA256: 3e7a1ab7228ae053538f0132d9ca0dad26dc097b516db0693192e7df1da7db4c

Size: 6,366,456 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.11.1~pre1-1_amd64.deb)

SHA1: c24b37b94dd0c77ec20b94f2d445bee88c6075db
SHA256: 02f5c36f52b6fbd9572fd33fef83b06a703d4a17ddbaf7bcf1074cdc68b89ae0

Size: 16,067,728 bytes

libcoq-ocaml-dbgsym_8.11.1~pre1-1_amd64.deb

SHA1: 84adffe889c2120b72461e6b30f2462c1589d4b5
Size: 652,696 bytes

coqide-dbgsym_8.11.1~pre1-1_amd64.deb

SHA1: 22aa5de98746156fa205d1b284caca5ccd43a698
Size: 513,524 bytes

coq-theories-dbgsym_8.11.1~pre1-1_amd64.deb

SHA1: 627c79c0e7e6c38ab6089554a8e0d9671a7e8cbc
Size: 873,396 bytes

coq-dbgsym_8.11.1~pre1-1_amd64.deb

SHA1: 6e724e31d38911ecdb57542461e3bc7232eefb89
Size: 6,956,072 bytes

coq_8.11.1~pre1-1_amd64.buildinfo (view)