-----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
