-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 20 Jan 2011 21:00:18 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.26+dfsg-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
libwhy-coq - Why library for Coq
why - A software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.26+dfsg-3) unstable; urgency=low
.
[ Stéphane Glondu ]
* Fix versioned build-deps to ensure smoother backports
.
[ Mehdi Dogguy ]
* Add 0007-Squeeze-s-Coq-is-also-compatible.patch: why-config checks
compatibility of provers by checking their version number. Coq
versioned 8.2pl2 is also compatible (like 8.2pl1). Marking it as
such so that it gets activated.
Checksums-Sha1:
f6750f8403c3d6ec5f2511e16613307b01f5a89c 2229 why_2.26+dfsg-3.dsc
4786451e791ccc2e6c857eb1896f3ee7601494ef 11288 why_2.26+dfsg-3.debian.tar.gz
002c96ee4ded028251667532c904a35e6539f552 8566516 why_2.26+dfsg-3_amd64.deb
565f624abd5cebae31535d67ae6bb233644a3048 184114 why-examples_2.26+dfsg-3_all.deb
35b1add089dcac267249b51a3210946b00623036 513432 libwhy-coq_2.26+dfsg-3_all.deb
Checksums-Sha256:
0ecd42410620cacdf181ca5d484640e8e22e6e2e67625515a5fe9793e073b558 2229 why_2.26+dfsg-3.dsc
ee6aa384c25b097b9dc713f45a9eddc2f30a01847dfa6e3ff36f37a393a9290e 11288 why_2.26+dfsg-3.debian.tar.gz
554a2797b899d834caf461120102290fbd4d339c2dfb3a26a540efda2e4fcbc4 8566516 why_2.26+dfsg-3_amd64.deb
0ad9f1611c52a2f0194b487faa334a6eeeb6e24dbe6d8b18440a2456d805e880 184114 why-examples_2.26+dfsg-3_all.deb
6c7f630d4b30d5de7bcd2363b745b3e0eda2d81010f842e3a4bc24eafa66fc63 513432 libwhy-coq_2.26+dfsg-3_all.deb
Files:
aaff0b222e5367093973d81842a8a9cc 2229 math optional why_2.26+dfsg-3.dsc
a33d5bd831e34adb4a3e91eea12395fc 11288 math optional why_2.26+dfsg-3.debian.tar.gz
fe2ad484b4c1aaf337add03185bae6d3 8566516 math optional why_2.26+dfsg-3_amd64.deb
f1d666137b47532097789f59c978ff07 184114 doc optional why-examples_2.26+dfsg-3_all.deb
46256c54db0e601e55a535a1cb23ae39 513432 libdevel optional libwhy-coq_2.26+dfsg-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJNOJhKAAoJEDO+GgqMLtj/RVwQAM22tHVkQ+4CR+c1p2EruizY
dQnn8hLVWAmHuq6U1ZpzxtR64WotH+objpTK/c/9zFRqfCFhoyWe2w8MGcD7qAIm
fLpeU0wvr6JvfTI6N3/l7cLRUXvXKUL1UXcEwdN3IF4rBwxJdQiTz74VdHGZseAv
K1b6VdHSNtlk6UgtFOHxNmhiySPwPCj9xgxcKmqQnNFZTyGPQfrCrePsfcs4PsDm
tg90EJemuvjGU3GPJDIAS0tbAzwZ7PJRO4Xs2l4CDGH/tGbbYGKBWzfDestPe9cR
/Kj6szCXB0RmiHJJ2X/Nwpvk9lX6x+G4XyEy3AlbPheiBuVpb2Ie1wBaB4sD/10+
9DqiJPSCZvMCxs6PB4zjv9g02Gz+mnMOHiaqhSbYj9siWt2FjlAnyP1olZyXxsao
fYJtWhddHSHV9bUuhSATSmhogr3fuM4XPKWnzh9syTgzgC47InQpZhX8h7XN5jYg
75aC7Wn+8dyPPe3Y0GFPD+pVZ/j/Wpb/dECEEr+4h/my+aRMczPwpZ3EBBfr6EeE
vF6cbcE017fCaHRtE7r8KO5eIxzTQ8QGXEAaJ2neR4rkhTiwvUBkPbd8Ocw7we5g
5t/q8LHJKPXP27ws7eFETiar/UNSNeEG+tVpV2jqtBIiLLEKLl+gD8bRVsAAltuV
oGUQM7CsfrERiRVqnAcz
=iCYW
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.26+dfsg-3_all.deb
to main/w/why/libwhy-coq_2.26+dfsg-3_all.deb
why-examples_2.26+dfsg-3_all.deb
to main/w/why/why-examples_2.26+dfsg-3_all.deb
why_2.26+dfsg-3.debian.tar.gz
to main/w/why/why_2.26+dfsg-3.debian.tar.gz
why_2.26+dfsg-3.dsc
to main/w/why/why_2.26+dfsg-3.dsc
why_2.26+dfsg-3_amd64.deb
to main/w/why/why_2.26+dfsg-3_amd64.deb
