Accepted why 2.11-2 (source i386)

[Mehdi Dogguy <dogguy@pps.jussieu.fr>]

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

Format: 1.8
Date: Mon, 05 May 2008 18:56:31 +0200
Source: why
Binary: why
Architecture: source i386
Version: 2.11-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Description: 
 why        - A software verification tool
Closes: 478501
Changes: 
 why (2.11-2) unstable; urgency=low
 .
   * Fix install target and JCLIB value in the Makefile, closes: #478501.
   * Update maintainer and uploders fields in debian/control.
   * Fix missing dependency (cpulimit).
   * Reinclude gwhy.sh
   * Add configure.dpatch to correctly detect ocamlopt.
   * Add myself to uploaders.
Checksums-Sha1: 
 b2bbe63d8ec50240acfc484adfa1d2ccddac559e 1355 why_2.11-2.dsc
 e87fa616e18c9dd30f65006a3829806b6811ca2b 4313 why_2.11-2.diff.gz
 3198ba75562e88bf2e7f014eaa98583fd7d3334e 4252308 why_2.11-2_i386.deb
Checksums-Sha256: 
 beb81d1530ae18332adea06295df5fd6544d6ff0521c46a708e5a6625ab896c1 1355 why_2.11-2.dsc
 252852ac11d55351d442a90bd4ff1a4f2c1d129a424c2df3f6a62257e306b5f2 4313 why_2.11-2.diff.gz
 fb501f9ea5661fca9c65309ce6c4f2f3a013cfb47a6fb43e536cc33b48e11e2b 4252308 why_2.11-2_i386.deb
Files: 
 c10596c58d118592b630d2a14ba073ac 1355 math optional why_2.11-2.dsc
 5e387c941df3ec0aca3888b3515e7143 4313 math optional why_2.11-2.diff.gz
 73db99726c1e38623b703693e7cbf15b 4252308 math optional why_2.11-2_i386.deb

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

iD8DBQFIPeDJIae1O4AJae8RAtKFAKCA52EuV0V7+Yl8UgT3klI5IoSf0ACcDyBQ
jMu8NIvvwKh9v6XjaszGHfE=
=hKcc
-----END PGP SIGNATURE-----


Accepted:
why_2.11-2.diff.gz
  to pool/main/w/why/why_2.11-2.diff.gz
why_2.11-2.dsc
  to pool/main/w/why/why_2.11-2.dsc
why_2.11-2_i386.deb
  to pool/main/w/why/why_2.11-2_i386.deb