Package: coqide Version: 8.0pl3-2 The menu entry Help/Browse Coq Manual tries to invoke "netscape", instead of some installed web browser. It should probably use "www-browser" (but please check the relevant policy first).
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
