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

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

SHA1: 7136b2889e0d222cb55e13d9ac18408f6fc78743
SHA256: 01af2efa23eb1f4df08be6e3af27a1fede001806ce15b6b1165145571b839950

Size: 87,497,976 bytes

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

SHA1: 4a51cd699451318256126cf446339e7fe57e06e5
SHA256: fd032b844a129ac21e64f725a28009103bde0e212b3f97df91b8875589be3642

Size: 14,142,564 bytes

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

SHA1: e9472098f18f0fabf8a14646fa44e66745ea8048
SHA256: e557fcbd82c3eda1d96f55d98af5d04703dd789ece768b83676d481f14deba7b

Size: 1,804,800 bytes

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

SHA1: 00979a27b4642da1209efc3943c7daa68b38342e
SHA256: 1c909ea9469bb5cbb089ae8419e5ec861bca0f343b464c53026c4509946e7798

Size: 605,508 bytes

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

SHA1: 5fb9ff870f21dcfdc4f6954283bfa39d678c2a49
SHA256: 5c44fd3968fafd6a9bf5722be9e47750fe5b0640793137faca829e48054400fa

Size: 21,744,540 bytes

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

SHA1: 3d291d1af4a9895ef889100fce48c393d67c7efb
SHA256: 1997d8c4ecdac902d198643371a4f75e4d4db3aa37049c9c962587eb6c4cd848

Size: 2,096,448 bytes

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

SHA1: 4293967a739e72b4980e557afb9429164c4ce7e9
SHA256: 345d83168d1694c7721b2c17a3bad679c77837daa660b62194bf5d5921aa7170

Size: 42,451,376 bytes

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

SHA1: ea31138b6d52fe822d4186d7c0fed668f34e8afe
SHA256: dcdbeb4d12dc79381bb2698fe767add62de4e40053217c71d14ff654b3f0419a

Size: 21,522,436 bytes

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