Accepted why 2.18.dfsg-3 (source i386 all)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Thu, 16 Apr 2009 17:23:41 +0200
Source: why
Binary: why why-examples libjessie-ocaml-dev libwhy-coq
Architecture: source i386 all
Version: 2.18.dfsg-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Description: 
 libjessie-ocaml-dev - Jessie library for code analysis
 libwhy-coq - Why library for Coq
 why        - A software verification tool
 why-examples - Examples of programs certified with Why
Closes: 524054
Changes: 
 why (2.18.dfsg-3) unstable; urgency=low
 .
   * Fix erroneous usage of ifdef in debian/rules.
   * why-examples depends on non-versioned libwhy-coq and why, thanks
     Lintian.
   * Make a long description for libwhy-coq, closes: #524054.
   * Bump standards version to 3.8.1, no changes needed
   * Jessie library:
     - Make jc_ast and jc_env fit in the pack
     - install jc.cmo and jc.cmx
     - Move the binary package to section ocaml
Checksums-Sha1: 
 fc573169cf603e56780e7d021d6840b15197e419 1452 why_2.18.dfsg-3.dsc
 3fa4a9e56e7b1a7740de839a4eb1b796995499e5 7899 why_2.18.dfsg-3.diff.gz
 0ccc13aa637449b16dc77f979110f24108169a52 4494880 why_2.18.dfsg-3_i386.deb
 0c5486439bf1fee7ed5e75be5cc456fa45af3533 290862 why-examples_2.18.dfsg-3_all.deb
 9b88b9c4de511814a6f3c72e00fd063eefbd589f 1113178 libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
 4cfd4985cf5af989259d5e90165be122761232e2 383100 libwhy-coq_2.18.dfsg-3_all.deb
Checksums-Sha256: 
 ddf2d97b07eedb414d170afebd6cff71925fc4948388a6af49416049ce926518 1452 why_2.18.dfsg-3.dsc
 5b54eb065eda8eff489a32490f2f58f800f5d16ffac64b262b9c8701da82e1d4 7899 why_2.18.dfsg-3.diff.gz
 18c0fbbd7b0a9529223964267734d61d80f52d1ab19612e31cab9833b75828cd 4494880 why_2.18.dfsg-3_i386.deb
 79797ab60e7abde1b93f35a046e100105db9eef02621448d20c88a5953972e38 290862 why-examples_2.18.dfsg-3_all.deb
 032107d4ebd04e49868bc336927609490ac1d6f4356e78ead5af63cad7518fac 1113178 libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
 6cd16ddb0d2839112e0f195845c1586a83a7536dec0443e4f6e0dfcf6aa1c633 383100 libwhy-coq_2.18.dfsg-3_all.deb
Files: 
 3887e3c27f94c8ef624133e91864149e 1452 math optional why_2.18.dfsg-3.dsc
 a32673785b7b5ecef0ee8376ad937aeb 7899 math optional why_2.18.dfsg-3.diff.gz
 f838f9ea96601f69880a50b890403e06 4494880 math optional why_2.18.dfsg-3_i386.deb
 f84433aed62ad3157e8687631937e900 290862 doc optional why-examples_2.18.dfsg-3_all.deb
 f732a5f287b3dc7d80a11adb5c7b2119 1113178 ocaml optional libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
 a430a2bd80cde95f47ce6dc9970ddf48 383100 libdevel optional libwhy-coq_2.18.dfsg-3_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkoNmxkACgkQhryr/xwAx5BWVgCgi6mCa8YQpceC8xM2JQmtnN9t
LzYAoLDeuctmt5xmtZk8hV3OleY1+dkI
=OCPY
-----END PGP SIGNATURE-----


Accepted:
libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
  to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
libwhy-coq_2.18.dfsg-3_all.deb
  to pool/main/w/why/libwhy-coq_2.18.dfsg-3_all.deb
why-examples_2.18.dfsg-3_all.deb
  to pool/main/w/why/why-examples_2.18.dfsg-3_all.deb
why_2.18.dfsg-3.diff.gz
  to pool/main/w/why/why_2.18.dfsg-3.diff.gz
why_2.18.dfsg-3.dsc
  to pool/main/w/why/why_2.18.dfsg-3.dsc
why_2.18.dfsg-3_i386.deb
  to pool/main/w/why/why_2.18.dfsg-3_i386.deb