coq_8.6-5_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.6-5_amd64.deb)

SHA1: 6bfbb7cb801b192427651dc2b27fbfd9b1b25d55
SHA256: 0c3b7cf9a965385166659ed35de187069e306155f024f0e321f37896525cd5fd

Size: 17,745,040 bytes

coqide (coqide_8.6-5_amd64.deb)

SHA1: ddb97ce99b63f9eee248e3d2ec8e8b491a2919bd
SHA256: ae00a9fa21ff189652276399581528b9dfac54647ecf4f84f0dffb36ef4616e0

Size: 1,605,932 bytes

coq-theories (coq-theories_8.6-5_amd64.deb)

SHA1: 7336252ee00263794364afd85e8d433bc934bc19
SHA256: 8f5890d0b6137e137e34f12164f6a31eb740e847553a8faa539396bb710d8623

Size: 33,443,684 bytes

libcoq-ocaml (libcoq-ocaml_8.6-5_amd64.deb)

SHA1: df386bb4e109faa30022218363f46b3e1d6a90c1
SHA256: cb2a1e4e6776361d2e318220732b6569aaf8d116d6a8e4e6eb75408bf9e4e657

Size: 3,640,792 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_amd64.deb)

SHA1: 2fd0f882823897ad0d8a02d64d5d1c165755deb2
SHA256: 30e01bc160da7bae45230aa349f9f08b3b5893dd6fc11c61607cd4ed1bcdaa81

Size: 13,880,220 bytes

libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb

SHA1: f4a0491130c877326fed88c3451e1c598dce49fe
Size: 105,292 bytes

libcoq-ocaml-dbgsym_8.6-5_amd64.deb

SHA1: fd4a681098ce1d06752ef74f10d867628c0d2609
Size: 376,088 bytes

coqide-dbgsym_8.6-5_amd64.deb

SHA1: 44f45522949b4c9e3db8e018b3d07e7de8b0528d
Size: 450,252 bytes

coq-theories-dbgsym_8.6-5_amd64.deb

SHA1: cea1db14083aecad1de0cded12641764b92677fd
Size: 827,256 bytes

coq-dbgsym_8.6-5_amd64.deb

SHA1: 21358870aba4242b73ca014e87755cb2c45cdc26
Size: 1,891,868 bytes

coq_8.6-5_amd64.buildinfo (view)