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

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

SHA1: 5a2de1b671217351925279cba0d3a6724099beaa
SHA256: b1f08d2f62ea8c892005c57e7af9e22742be39cdbc13087efdfb51a054fff287

Size: 77,150,328 bytes

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

SHA1: 87d83161d61c40015da850ff81e29c24ebed577f
SHA256: 30ff48f6275ee8dd84188fd9b0f7023bd6a7682688c1ab0cda96662582386ac9

Size: 10,888,408 bytes

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

SHA1: ab077ecabd35bcec0daf77d1945da8d586bae736
SHA256: ae1f95e38af9dd29bdf6e796dc27bc4caf6f7b45ab8ad98b8247cbd093399ab2

Size: 1,814,976 bytes

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

SHA1: da32593ff2d5cf36aa589ad3269ba8e41331cf96
SHA256: 1149dc1f70e23dbbead92c57298a9edbf9606a6fc3f478a952eaaa4566395a28

Size: 708,864 bytes

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

SHA1: 4acaef1d82d9f63d2104147d3521ce1aabacad29
SHA256: 34da8b318132fd29c0d9b57dabd5c21a150ea63d0c6777a5efb75cb47b06b46e

Size: 22,397,292 bytes

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

SHA1: c7a11b72c02a8b3f597a32b46be284a83a656bca
SHA256: 2057d8b8969a2247c3e433310fa9848ddb0fcd02046a6efcfdc7a57f637d51c8

Size: 2,219,504 bytes

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

SHA1: 2f69096e7e4b1be2b9b2de7facba17fdabb1d7d8
SHA256: e1d74de24b2e0c1aff7c186dbf7f77381acded70ddc01950d80a272fdb1f73ad

Size: 44,140,736 bytes

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

SHA1: f4b76d1c670565c7580de5ded0ee5b8e9f2893a2
SHA256: 0b1b6d70292ecec664a68168f8d0a47c8296f34ac5d35479fa2bdac70e56f171

Size: 23,234,872 bytes

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