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

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

SHA1: 7c7b8ec655bfaf3245a1d42fc4d0dbb81bdb34fd
SHA256: c192e870c5995a4c703289e8e4df59bc46085ca26fd0e9fa952b0e50c63fff1e

Size: 93,203,932 bytes

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

SHA1: 778fa03defb059e0f5686480536df9c8c715138a
SHA256: 0c9085d544b198792959e6f2b8cd2c6e70c05029b4efd7b2060008a90a7cd050

Size: 14,656,452 bytes

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

SHA1: a0b4d74c5839c9ab59df2134df0abd624956418f
SHA256: e6d10682829ab6b268e31589dd56ef656b4ef714b8dfa85a64bca7a2b2537e6f

Size: 1,993,648 bytes

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

SHA1: c178aaad5f5a8faaeb82e6d9d77d1a43cfd9dfc4
SHA256: aefdebc714cef1e39d77b652a7ec7166ffeb132cf119673adb29a375c51e6254

Size: 638,616 bytes

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

SHA1: ea343d1177df7765a9de9fdfd6feb96a2bb7af5d
SHA256: aeff7bc794ab927538ed2a341de67707ea2d80b9bdd32cd2f3c5d37b971301d7

Size: 22,559,320 bytes

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

SHA1: 4f973f4d22d4b002cd71a614bb02a8170f922945
SHA256: d81fb7a193507d42aa36f86c78fa1dda56121344da02f8b1fb3b3e0168f7494a

Size: 2,148,820 bytes

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

SHA1: 2d1f972ad549341cee8c0bc10e36dc956afd5ac2
SHA256: 849ac870dff22641336f9f60ef91619b8e75395b5d4898856c674eeed366069f

Size: 42,716,820 bytes

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

SHA1: 7cf5b5ae0da0dfe2c6e980f12d0066f0788b8269
SHA256: e28c250b2206b0aa3d47dfaa0c73a731390aac42a1c3713fa96b2b5a1bbe4c8a

Size: 21,526,344 bytes

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