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

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

SHA1: c66b49e0017c54b5732a4f4d4f555e63908b1a72
SHA256: 2147062dfcbcced5d601233fa486360c412715dabcbe8f25a2e8638a91b3268f

Size: 74,768,944 bytes

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

SHA1: 269fd4a80b11b8becb2cfe49f1a207a00985e374
SHA256: c26b7292f54cbf5e0c31c613990068423fb2965a50b0ea1962a5a8e0153a7a6f

Size: 8,297,456 bytes

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

SHA1: 0e86601bb3cefe1713a6743e90ed7c4db9ea102b
SHA256: ce4d00bc38c4a5f2d4543ae1a195ba7793c9f7cb4f17db71f430419e6ebd4543

Size: 1,744,360 bytes

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

SHA1: 794215f4409310d26eacb4e686b07ac37d1ed884
SHA256: 078720e031ed984c2458b2fc60d192ee464f927b577fbedcfea8666d449e1d71

Size: 543,988 bytes

coq-theories (coq-theories_8.14.1+dfsg-1_i386.deb)

SHA1: d8ddba01a49f742f1190c009ca10a5405ec8e90a
SHA256: 40e1682b90d51430144b15f0e770830329bba3f5e70d733499dfbd482c47f6ed

Size: 21,750,672 bytes

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

SHA1: 5b9412d64f7fa336d5462991e6b28f42bc57f32d
SHA256: 328084c9de4ffeee562311c8f1336cbb23d785740d22d30157bf036776591f79

Size: 21,651,200 bytes

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

SHA1: 4a10f2c6ad3f126fe168a0eb3a96b65608ba615a
SHA256: c34082cf62121b64df150267f51209b4ad418b042bb34d570201b965359b69d7

Size: 1,619,608 bytes

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

SHA1: 96e19ce7fca18c8df204bc8b425b914c47ab7b1b
SHA256: d544b4f3203e6c7732e649c6932c12bfc18583940a26eff22488cbf2b33c7da5

Size: 39,275,620 bytes

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