Accepted why 2.33-2 (source amd64 all)
-----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-----