coq_8.17.0+dfsg-1_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.17.0+dfsg-1_amd64.deb)

SHA1: 43c2487a5746c69e9f5de49f327bc5071d61ba17
SHA256: 729d2671dd0344b18c1637778f5aebfc2addf4816318ee211ad14696670c2982

Size: 80,338,208 bytes

coq-dbgsym (coq-dbgsym_8.17.0+dfsg-1_amd64.deb)

SHA1: edf4343df81de09d5b7d74f3dcbde8d1cc92a686
SHA256: d6a88355c7500aa8e23185858b4ac0df607b4db8706a7ff7beb19ac5e35b1ed4

Size: 10,802,612 bytes

coqide (coqide_8.17.0+dfsg-1_amd64.deb)

SHA1: 5915e4d959b7b88c83eca974065488e05e746cf4
SHA256: 60abbf793bad8914bb457dc80bd75d52f9e75d312599a6bd870999f72762fd43

Size: 1,989,544 bytes

coqide-dbgsym (coqide-dbgsym_8.17.0+dfsg-1_amd64.deb)

SHA1: 2e9b2b31159b1d128d43d7e897dea457a01aa1d4
SHA256: ed8b5477de0bdfd0e7c0029c934ee41e4ba31c0176100b15e6afdfb70fee642b

Size: 735,808 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.17.0+dfsg-1_amd64.deb)

SHA1: 797ea6937229f85506ea7d5744cf7ed46d884816
SHA256: 4f6326e5e47ef08d14f6a1015f29db2a3bcb0b44a07ea77c858a329a01b99ff2

Size: 22,783,624 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.17.0+dfsg-1_amd64.deb)

SHA1: 0722508c60d7d43cc062aa0dd5cb3316a6d727a5
SHA256: 00e5faae4986c4c03ec87a024d4a4e67e6312122e2e3189296c85052a494ab26

Size: 2,222,400 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.17.0+dfsg-1_amd64.deb)

SHA1: 338a76d3a19351d19b5afeda90cb1ae30b042f7c
SHA256: 87425f064929d5b335bb7aa849bba329212df2d7eb06c744d41850f30c20a01b

Size: 43,387,740 bytes

libcoq-stdlib (libcoq-stdlib_8.17.0+dfsg-1_amd64.deb)

SHA1: e8101ea0c16ce486c77af545c33e44b00dac8fa7
SHA256: a00e06913f0dc503460a2e18420814c35aea4a6321667e242116644223fbe506

Size: 25,098,056 bytes

coq_8.17.0+dfsg-1_amd64.buildinfo (view)