Package: coq Version: 8.2.pl1+dfsg-3 Severity: minor User: [email protected] 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
