Package: coq Version: 8.2.pl1+dfsg-3 Severity: minor User: ubuntu-de...@lists.ubuntu.com Usertags: origin-ubuntu lucid
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 The package description contains a small typo: This packages provides ... Should be: This package provides ... -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAksJEFMACgkQuoq9E0RAnd7XOgCfcMcqmgI9rU1b8V57djZ4J6gQ 50MAn0mu8W+NXvE7hmxsu/J+s8CVgTKg =AXa6 -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org