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

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

SHA1: f246a79c8840014dd49d4bbe555c4caa7d6e9298
SHA256: 80625f8140befa464ba21105b048d8b17ce6cc6ad543165a8f2f20c9aae1bda8

Size: 80,411,776 bytes

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

SHA1: fab83161b727b4ae7e25003d78631a0f884329ed
SHA256: 9dc9bb523e3a7a69a8a386bebd877c77202e73138150be4c789c0f0a69a5911e

Size: 9,391,304 bytes

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

SHA1: 3154313da1c404709a8ea995f6c96cb1c9e83318
SHA256: f3ff18814d5622ec5b23fa7f011b9db7d8823fde5e03f68ad4d2e9e7b11c5fda

Size: 1,996,676 bytes

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

SHA1: 4726c754b0b1bf1164ae29995c91002825dd07ee
SHA256: da8f3306041d6452436e06198d53ce51fda08a1de675a0d9a73d815e0a4d27d5

Size: 592,600 bytes

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

SHA1: db0dcd3be574f0cc04eb1bdf359b63aa2946781c
SHA256: bf9c8c745ac3ecb91b570feeac877568b917865e5c3412de9f83df554c2d7b1a

Size: 22,494,200 bytes

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

SHA1: 35aadd3dc1cd72517d650b25eaddf6fb7be860b8
SHA256: 5eb738ae3d7ea993561e272ed8b1de8aab9938ce80f6602f3325195b44b250e4

Size: 1,663,672 bytes

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

SHA1: 2e3432f33d042468e72bb9b6e450167a4c46e2f1
SHA256: fe860ff1f959cbe15763631b5ce16f095601914267f08edce5982c28c80ec425

Size: 39,004,752 bytes

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

SHA1: 30dae01099e0aea440a6b96ea37699ef757f441b
SHA256: 0528776e745f1983636dddeaed7df4b041e2c724f479ff013c72efc125ac6501

Size: 21,428,620 bytes

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