-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sat, 22 Dec 2007 01:19:44 +0100 Source: why Binary: why Architecture: source i386 Version: 2.04.dfsg-4 Distribution: unstable Urgency: low Maintainer: Samuel Mimram <[EMAIL PROTECTED]> Changed-By: Samuel Mimram <[EMAIL PROTECTED]> Description: why - A software verification tool Changes: why (2.04.dfsg-4) unstable; urgency=low . * Rebuild with latest version of coq. Files: d1be217bf4b7e8dc55cd31741873a662 688 math optional why_2.04.dfsg-4.dsc 99b1812ed867c88661c4c0b641f95c98 2927 math optional why_2.04.dfsg-4.diff.gz 08b7e283862c188e368bda289ab049cf 3773164 math optional why_2.04.dfsg-4_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHbFiqIae1O4AJae8RApUjAJ9ekUmYa3Aqq7qWE1eenm/gj34j3QCffONr AkKNvrh+/puu18RyUe+ln8M= =kYUc -----END PGP SIGNATURE----- Accepted: why_2.04.dfsg-4.diff.gz to pool/main/w/why/why_2.04.dfsg-4.diff.gz why_2.04.dfsg-4.dsc to pool/main/w/why/why_2.04.dfsg-4.dsc why_2.04.dfsg-4_i386.deb to pool/main/w/why/why_2.04.dfsg-4_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
