-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 17 Sep 2008 21:45:11 +0200 Source: why Binary: why Architecture: source i386 Version: 2.13-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Cristau <jcristau@debian.org> Description: why - A software verification tool Closes: 498485 499140 Changes: why (2.13-2) unstable; urgency=low . [ Mehdi Dogguy ] * Using why-cpulimit instead of cpulimit Debian package, closes: 498485. * Renaming 'dp' into 'why-dp', closes: #499140. * Remove unnecessary dependency : cpulimit. Checksums-Sha1: 61a08bf7faf15fcba4c953d17d3a8aa662fc6f73 1363 why_2.13-2.dsc 65a8bc74d1c16f651af1fbdf4593da3035c2391b 5843 why_2.13-2.diff.gz af039d8b8a778e0f76c2d5b7d91c4879c34d45af 4614976 why_2.13-2_i386.deb Checksums-Sha256: e1c24bbeec4b8786b316a5a36576bcf97b6e255b7c346f61202b6dfae827d480 1363 why_2.13-2.dsc 4db32ec80463244ea246c5ec393fbf442f7836f4cacdfde9dddd0214c91430aa 5843 why_2.13-2.diff.gz 783ccc63de50e031e2965cee06d0411e986c10caf5efcc1b3599251195698ad8 4614976 why_2.13-2_i386.deb Files: 889ee6bad804a548d1b093f5f04cd131 1363 math optional why_2.13-2.dsc 877a9b50d152efab078dbd6300fbfd85 5843 math optional why_2.13-2.diff.gz 2b17c32b0d96faf027d98066425d0977 4614976 math optional why_2.13-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkjRZSoACgkQmEvTgKxfcAwCzQCeJ+/8+dl0RcZfx1brF5LF9iD5 oaoAni44fUQaiDwqVbtW84DI9tyVVXmm =Sfub -----END PGP SIGNATURE----- Accepted: why_2.13-2.diff.gz to pool/main/w/why/why_2.13-2.diff.gz why_2.13-2.dsc to pool/main/w/why/why_2.13-2.dsc why_2.13-2_i386.deb to pool/main/w/why/why_2.13-2_i386.deb