Ubuntu
coq package

bad .desktop

Bug #49546 reported by Vassilis Pandis
4
Affects Status Importance Assigned to Milestone
coq (Debian)
Fix Released
Unknown
coq (Ubuntu)
Fix Released
Low
Jonh Wendell

Bug Description

Coqide ships with a .desktop that is affected by bug #47426. Besides that, I remove the absolute path and exec and improved the name.

Revision history for this message
Vassilis Pandis (pandisv) wrote : .desktop diff

It validates and shows in Gnome Menus under "Other"

Revision history for this message
Vassilis Pandis (pandisv) wrote : the .diff

Sorry, the previous one is the new .desktop. Here's the diff.

Changed in coq:
importance: Untriaged → Low
Vassilis Pandis (pandisv)
Changed in coq:
assignee: nobody → pandisv
Revision history for this message
Vassilis Pandis (pandisv) wrote :

Forwarded to Debian ...

Revision history for this message
Vassilis Pandis (pandisv) wrote :

fixed in debian experimental

Changed in coq:
assignee: pandisv → motu
Bug Watch Updater (bug-watch-updater)
Changed in coq:
status: Unknown → Unconfirmed
Bug Watch Updater (bug-watch-updater)
Changed in coq:
status: Unconfirmed → Fix Committed
Bug Watch Updater (bug-watch-updater)
Changed in coq:
status: Fix Committed → Fix Released
Revision history for this message
William Grant (wgrant) wrote :

This is fixed in the 8.1 beta, which is in experimental. When 8.1 final is released, it will go into unstable, and thus be fixed here.

William Grant (wgrant)
Changed in coq:
assignee: motu → nobody
status: Unconfirmed → Confirmed
Revision history for this message
Jonh Wendell (wendell) wrote :

I've put it on Education category

Changed in coq:
assignee: nobody → wendell
status: Confirmed → In Progress
Revision history for this message
Michael Bienia (geser) wrote :

-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160

Format: 1.7
Date: Thu, 22 Mar 2007 09:25:21 -0300
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source
Version: 8.0pl3-2ubuntu1
Distribution: feisty
Urgency: low
Maintainer: Ubuntu MOTU Developers <email address hidden>
Changed-By: Jonh Wendell <email address hidden>
Description:
 coq - proof assistant for higher-order logic (toplevel and compiler)
 coq-libs - proof assistant for higher-order logic (theories)
 coq7-libs - proof assistant for higher-order logic (Coq 7 theories)
 coqide - proof assistant for higher-order logic (gtk interface)
Launchpad-Bugs-Fixed: 49546
Changes:
 coq (8.0pl3-2ubuntu1) feisty; urgency=low
 .
   * Fix desktop file according with freedesktop spec (LP: #49546)
   * debian/control:
     - Updated maintainer field;
Files:
 74a2fe3abbf7b706e52fa595cac1968b 1103 math optional coq_8.0pl3-2ubuntu1.dsc
 cb19beeb7228c2d7e7cff18ab63afb97 16498 math optional coq_8.0pl3-2ubuntu1.diff.gz
Original-Maintainer: Debian OCaml Maintainers <email address hidden>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.3 (GNU/Linux)

iQCVAwUBRgLTWaPP1313boLqAQNn7QP/TCweIXhrv1V4nFtw2gTFgn4hXqJm30qA
OQiSyGkSRbBkp/IO9VbkyNPTZwtXC0YnPDXc1OWTd7TK5Gok6MaDcZTZimn9AmP5
iruoZWbyguhz/9mxLGHVbKWSVzZSi6HqJ7ukrtY15ib8RSw+85aPmlY1SjVC9FtQ
EhI0oo19yBY=
=NIEI
-----END PGP SIGNATURE-----

Changed in coq:
status: In Progress → Fix Committed
Jonh Wendell (wendell)
Changed in coq:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.