-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 10 Sep 2007 10:08:10 +0200 Source: why Binary: why Architecture: source i386 Version: 2.04.dfsg-3 Distribution: unstable Urgency: low Maintainer: Samuel Mimram <smimram@debian.org> Changed-By: Samuel Mimram <smimram@debian.org> Description: why - A software verification tool Closes: 441500 Changes: why (2.04.dfsg-3) unstable; urgency=low . * Rebuild with OCaml 3.10. * Build-depend on camlp4, closes: #441500. Files: fee54eca916feeecae0614ed0e175c64 688 math optional why_2.04.dfsg-3.dsc c35e1d0e241f9914841c052e46db28f0 2888 math optional why_2.04.dfsg-3.diff.gz a0bc9dae8392f94b0fae16458e795e34 3766632 math optional why_2.04.dfsg-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFG5YilIae1O4AJae8RAtn1AJwP+EbVzj75ilfxfGoTyytRwCBoKQCfY9zh Vnmo2p62kOGxmUI+KWXZq64= =N46o -----END PGP SIGNATURE----- Accepted: why_2.04.dfsg-3.diff.gz to pool/main/w/why/why_2.04.dfsg-3.diff.gz why_2.04.dfsg-3.dsc to pool/main/w/why/why_2.04.dfsg-3.dsc why_2.04.dfsg-3_i386.deb to pool/main/w/why/why_2.04.dfsg-3_i386.deb