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

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

SHA1: 7dc77d9de690fd34dccb806da47876073d860aec
SHA256: 3d7144c884c8af019ba20bd0449f4d132a0752ab662770c1813b3a08e13ec83f

Size: 70,219,008 bytes

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

SHA1: 0dd97f54f1c6a50c7b74518e78cae37679fca808
SHA256: 6d2f9c76b63c53560157fc679b177e6d8a068478f364e7efe43061a388d8e57f

Size: 8,467,932 bytes

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

SHA1: 02ba5f4fd6bb61af73bd83bff1e97ab1a8abfb36
SHA256: 4a0dd477bc5c44a997536df280beb3c0f6b67dfe75f41c42311ddba4a4ff77c5

Size: 1,929,044 bytes

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

SHA1: d649f25eddba112f1a0b4caf952bf72c34725524
SHA256: e8ec7e53b576ca3e78bd3cb33f14a0b255d76fa107ed8683d8a81a4404001337

Size: 640,240 bytes

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

SHA1: cced7333a09a403d062d3577a59caec43e3e8a19
SHA256: 4e716da84c49a73362f4125f02934976dce87bf0dc27c66439d044e4bfc9b310

Size: 25,953,768 bytes

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

SHA1: 5068c1b1b5a9a03008eef7c701b7b18fc647b671
SHA256: 312ff911117fb8ccfcacde11fe2ebcaf6c565b87ef5c04d1098e8435567c34a7

Size: 2,515,460 bytes

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

SHA1: 4e3355e997f5d12199ce9b152c14d7a93b28212f
SHA256: 3de107dbf8d4d1a6de86a267e4ed7bdb9c9397c0a5df5db42df20bf9657c51b8

Size: 68,701,592 bytes

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

SHA1: 4efa65f6ee9c4f428d9c2354c758a78a14f621ac
SHA256: fb59f579f1af09afe3d0d82e5c8b528449b6d3c24184c6082b70fd408d39b807

Size: 23,527,428 bytes

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