Accepted why 2.13-1 (source i386)

[Samuel Mimram <smimram@debian.org>]

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

Format: 1.8
Date: Thu, 29 May 2008 09:22:09 +0200
Source: why
Binary: why
Architecture: source i386
Version: 2.13-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description: 
 why        - A software verification tool
Changes: 
 why (2.13-1) unstable; urgency=low
 .
   * New upstream release.
   * Removed install.dpatch, integrated upstream.
Checksums-Sha1: 
 b417910dc00989c4833bd345e8afae40d71f2918 1355 why_2.13-1.dsc
 7e9d082636c69ed7256b4a604c3dd562cea109a3 1876222 why_2.13.orig.tar.gz
 e298fd57c91544710bef85da8b28e06f540d2407 3850 why_2.13-1.diff.gz
 b8877f81cb11f558ff3705144a07a1944a1c1632 4612528 why_2.13-1_i386.deb
Checksums-Sha256: 
 607a23367e1af986d99f8f486414846101161f895162682a4efcda1f08c6488f 1355 why_2.13-1.dsc
 9c59d667f0119eb1956730b130debe1a775104c1b68e7f2482bfcbef6a462305 1876222 why_2.13.orig.tar.gz
 8088fff455a0304a8fe7fb9d1fd08308a7b459571f9daec35448ecbaa823a82e 3850 why_2.13-1.diff.gz
 d21c74b929e19553a20fde1e40730a9eee031915ee193f5f2a4e61d4968a9856 4612528 why_2.13-1_i386.deb
Files: 
 06fba5952ab184235d1a2a948825b5a4 1355 math optional why_2.13-1.dsc
 edda847e1b64dfe70d2b33978a0ceefb 1876222 math optional why_2.13.orig.tar.gz
 acef5b4d9751260228001aff0e4050c2 3850 math optional why_2.13-1.diff.gz
 06ccec914e68b1e0b79f7f647febb804 4612528 math optional why_2.13-1_i386.deb

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

iD8DBQFIPlvuIae1O4AJae8RAnQMAJ9XVLkHs6LDqeHBqFMjf1CTjWrLcACdHhIm
AI8nKfWSVF6Pl0QC8/lWkZU=
=jbQA
-----END PGP SIGNATURE-----


Accepted:
why_2.13-1.diff.gz
  to pool/main/w/why/why_2.13-1.diff.gz
why_2.13-1.dsc
  to pool/main/w/why/why_2.13-1.dsc
why_2.13-1_i386.deb
  to pool/main/w/why/why_2.13-1_i386.deb
why_2.13.orig.tar.gz
  to pool/main/w/why/why_2.13.orig.tar.gz