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

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

SHA1: aaf3488be2a79ea2b40357129cae88c52a6c478c
SHA256: 515d40cb48ecc729a06e4ebf71809915d70325d51b42f538fafb8867032dda81

Size: 80,432,404 bytes

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

SHA1: 73e6281de7e85688732350316cf3a1bb7f5c2112
SHA256: d29e45d489be5c8dd6f49d2b8b211a2129099626662b8d7c562820dae400b5e1

Size: 9,266,640 bytes

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

SHA1: e4e487b1956783960acf05dde1aa11199edf32f6
SHA256: caffc43d19958f8331c559caa3d44f8b2749db642f0bc109a4d3052ed7a380d7

Size: 1,987,324 bytes

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

SHA1: b294c2fc68d40f6fd4cf93f866784344e5fafb55
SHA256: 03094ead6237e2a9fe887012f3ac3b84f0cc542003e35bdef15ee47efa0b9545

Size: 592,552 bytes

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

SHA1: 3503820c789ee36cd5757232bff622415c3fc859
SHA256: d6b510bc63ee0a8b71ffba02675daa8aa787ddffff7fe47f4cf399ad5a49d973

Size: 22,491,180 bytes

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

SHA1: 7892e824e19f20c95491f1b214a1a438d9b2dd53
SHA256: c40a0bbcfd559fd0045b95cb1d7c12bbb32bcbb2589a29f9ae675a779e92524b

Size: 1,662,100 bytes

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

SHA1: 431420b4be32bdc5e78dccc0ecbf781daf69ee53
SHA256: b4d9b43d0c9c4d5e7ac97fee2da3eb616f1ad843278988c20b42f1b707e1882c

Size: 42,296,136 bytes

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

SHA1: f9c4a65b59f17c938adae35dbebbffd15f1c304e
SHA256: 37419105e022dce1cf73a5c57860a6cedd023ef602ecc8dfb63678ae33d80459

Size: 21,427,924 bytes

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