coq_8.15.0+dfsg-2_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.15.0+dfsg-2_amd64.deb)

SHA1: 5827649191733bef0aba6ae4d21cdf57943ee231
SHA256: 33a7ee1f7318a1430a9e7ab47274c8ae8f7b8b9e5fb9baf1c061ab50c50e88bc

Size: 80,412,956 bytes

coq-dbgsym (coq-dbgsym_8.15.0+dfsg-2_amd64.deb)

SHA1: b91ad6543854406120846892a63665bfe160803e
SHA256: d88e6240bdb7b8c04d6ec97e849baa98ca55396a5228d255426c5bf58e2fc145

Size: 8,911,864 bytes

coqide (coqide_8.15.0+dfsg-2_amd64.deb)

SHA1: 2b7517614f54dd295d1585d70653661eaf09a232
SHA256: a232ddace8e5e99b93f608c2fe932f90461c482dc5ad6f609e03902b127387fc

Size: 1,989,276 bytes

coqide-dbgsym (coqide-dbgsym_8.15.0+dfsg-2_amd64.deb)

SHA1: 6cbf74830d19fe3836f66470f880a808e8694a73
SHA256: 7ac78ca7754d8672fca47b15a99617b7579339e5b97eb61eaec2bdca119b802b

Size: 590,824 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb)

SHA1: 628282889a856514ddd2c371745bf1aa90fe1900
SHA256: 4633247335eca817d2d802a19afc951fa6deeef35f42227b12fdf8e90c87ab91

Size: 22,477,080 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_amd64.deb)

SHA1: 05bd8396b6ac76a87ea803478c1df8b36e9408a5
SHA256: 1091bc1a4ea0df0e138c0b3450136ccb6d2b3a20b22c6c9ea399eb2b0c46b46e

Size: 1,663,460 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb)

SHA1: b2aedcfdea97273b5d3f4b6d560dae487103e018
SHA256: 34ba8d201be8c5b1f4edb7e08b172c0d2a95793153e8dddb993a2a9fc744cb71

Size: 38,996,856 bytes

libcoq-stdlib (libcoq-stdlib_8.15.0+dfsg-2_amd64.deb)

SHA1: a70bed56f8e88ad1a17c25e5892f1c3c344d4d8f
SHA256: a5a966e16f59b2b8d499050c8d1a0638c7d100c343dba58fd6db0fcc49f2e432

Size: 21,418,536 bytes

coq_8.15.0+dfsg-2_amd64.buildinfo (view)