-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 17 Feb 2014 08:40:19 +0100 Source: why Binary: why why-examples libwhy-coq Architecture: source amd64 all Version: 2.33-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: libwhy-coq - Why library for Coq why - Software verification tool why-examples - Examples of programs certified with Why Changes: why (2.33-2) unstable; urgency=low . * fixed typo in debian/tests/control (dependency of frama-c+jessie+alt-ergo) Checksums-Sha1: 038adae4283a585bad1c9547e05daaa04149d4b5 2339 why_2.33-2.dsc c054fae02d23ac1af5116d0cfd01ac3bfb52e4b4 13300 why_2.33-2.debian.tar.xz 654ffdb1047230e253a2d755dd838b5ce8d3f927 5031280 why_2.33-2_amd64.deb 4e865d359d05544378f48f3efac1daf1da4e99e2 142808 why-examples_2.33-2_all.deb 79e7d866c55e8935922061eafef33bba8e81e300 245218 libwhy-coq_2.33-2_all.deb Checksums-Sha256: 87419c8eb25d5e29721f747962e3fc0a13be9099fcdfb3d14da7ad72ea51f52b 2339 why_2.33-2.dsc f35b790734b648c85c4b2bb8d7e4d583503fddabe97de002579b52bb204b94c6 13300 why_2.33-2.debian.tar.xz 79c7801627853fba28ac53e9989c5cded4c5c51617ccc4026fc51ec19d1a31e5 5031280 why_2.33-2_amd64.deb 6d5f6b4177d12e88223a4f42a4148a022f8a538886b870b8cc96928f46806da8 142808 why-examples_2.33-2_all.deb 048a60be4c3c8df3742be6bb60c726ec988a449f6e7626410c278a7fdeb8dec4 245218 libwhy-coq_2.33-2_all.deb Files: e97f0a3b09492487b656e7c947e516df 2339 math optional why_2.33-2.dsc c96051f399317c6573a853e423991a4d 13300 math optional why_2.33-2.debian.tar.xz cc5912759dda8270c390c09a8a08fdab 5031280 math optional why_2.33-2_amd64.deb d916d42988485ee70daa3f2daedc3f11 142808 doc optional why-examples_2.33-2_all.deb 270f5cd16410f1b351ad60e351cf0072 245218 libdevel optional libwhy-coq_2.33-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCAAGBQJTAcSfAAoJEHRcR2bUys3/tPQP/ist5BHN9ZzhSXlT70DG0gLA 3UxFRZw5RDa78It8byNNmXxmCfnJWW9tmq21dD+YjVxzgBjBvWM2leOAkbWe8O1r KFYPwZSMJESWJWMCUQLrZZMpQN/xa8Z83iZltuWZQVxvwFQZXqfdtwOfKZgJR76b zJ1nwkDy62uoRxI26s73aErNfYnWD3ULLcibQmj3pj1vkwfUdPeOk5prfz3lwMGH 5tqTHQekDVlwbZBE+PGuk4zA+1BqEyaXdyST+aVtP8xtPGBLQII6NTgmdx/OH30C ayHa7Py0sBuYiLqWtD6Nxqs0b4/F8tzYI8ipIn1+SnoMwhqSuqnkyvCr+ISguy3E wWydK4JemAfb0kBbG+/5EbYDQV153MQUDual9dqKEmYEW1oBxTdarvPSkAJwqxml GJCRXM080H60eD9drbNe/E9u0YEeerVrVWCvWVt1J4Ivn0UX44c7XiDi1nZGLC9O nwqzhb4gXxagI2nKBoI8c2iLfqlMcXXoSudve3rLrxPfYi9ZUsnnnuUkObn+oDhs YKqeir21UgusqQT8ZudiLU8LTi7GAWoM+Mpe/+aF559Trwy66byxnDD4iDQ7W9b0 Hjymwh3AB9wlWDT2LtxGp/+8bCWsEqCbog98JVNnp6A5xPT1sCg0kg2I3eFnbtCP B6G+KZm8mvQutcqjJ/Yu =D8Co -----END PGP SIGNATURE-----
