[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#383310: marked as done (coqide .desktop fixes)

Your message dated Tue, 21 Nov 2006 22:24:44 +0000
with message-id <E1Gme2m-0003Xg-NA@ries.debian.org>
and subject line Bug#383310: fixed in coq 8.1~gamma-1
has caused the attached Bug report to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere.  Please contact me immediately.)

Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message --- 
Package: coq
Version :8.0pl3-2
Severity: minor

This bug was originally reported at http://launchpad.net/bugs/49546 .

The .desktop that comes with coqide does not appear in the menus because of the following bug:
http://launchpad.net/bugs/47426. The .desktop would also benefit from other minor fixes. Attached
is a diff with proposed alterations. Thanks in advance.


		
___________________________________________________________ 
The all-new Yahoo! Mail goes wherever you go - free your email address from your Internet provider. http://uk.docs.yahoo.com/nowyoucan.html
--- coqide.old	2006-06-13 10:21:49.000000000 +0300
+++ coqide.desktop	2006-06-13 10:21:34.000000000 +0300
@@ -1,9 +1,9 @@
 [Desktop Entry]
 Encoding=UTF-8
-Name=CoqIde
+Name=CoqIde Proof Assistant
 Comment=Graphical interface for the Coq proof assistant
-Exec=/usr/bin/coqide
+Exec=coqide
 Type=Application
-Categories=GTK;Science;Math;
+Categories=GTK;Science;Math;Application;
 Terminal=false
-Icon=/usr/share/pixmaps/coq.xpm
+Icon=coq

--- End Message ---
--- Begin Message --- 
Source: coq
Source-Version: 8.1~gamma-1

We believe that the bug you reported is fixed in the latest version of
coq, which is due to be installed in the Debian FTP archive:

coq-libs_8.1~gamma-1_all.deb
  to pool/main/c/coq/coq-libs_8.1~gamma-1_all.deb
coq_8.1~gamma-1.diff.gz
  to pool/main/c/coq/coq_8.1~gamma-1.diff.gz
coq_8.1~gamma-1.dsc
  to pool/main/c/coq/coq_8.1~gamma-1.dsc
coq_8.1~gamma-1_i386.deb
  to pool/main/c/coq/coq_8.1~gamma-1_i386.deb
coq_8.1~gamma.orig.tar.gz
  to pool/main/c/coq/coq_8.1~gamma.orig.tar.gz
coqide_8.1~gamma-1_i386.deb
  to pool/main/c/coq/coqide_8.1~gamma-1_i386.deb



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 383310@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Samuel Mimram <smimram@debian.org> (supplier of updated coq package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Tue, 21 Nov 2006 13:33:55 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.1~gamma-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-libs   - proof assistant for higher-order logic (theories)
 coqide     - proof assistant for higher-order logic (gtk interface)
Closes: 383310
Changes: 
 coq (8.1~gamma-1) experimental; urgency=low
 .
   * New upstream release.
   * Made the package binNMU-safe.
   * Minor improvements of the coqide.desktop file, closes: #383310.
   * Added system.dpatch to avoid erroneous interpretation of ~.
   * Removed assert.dpatch, integrated upstream.
Files: 
 b47851bc6d2c326961cbdc5379c13c50 923 math optional coq_8.1~gamma-1.dsc
 f25ce6cf8cfc25a72bfd8fdbe193059d 2942601 math optional coq_8.1~gamma.orig.tar.gz
 4012c6a273dc77ea6e98cd4579f38af4 13319 math optional coq_8.1~gamma-1.diff.gz
 0fa0cc2ec99f0d760b1518b903036339 14580888 math optional coq-libs_8.1~gamma-1_all.deb
 c271228f46a164d5a6a2f10ce106ed5e 6303896 math optional coq_8.1~gamma-1_i386.deb
 6f1008e8f609c67f4f9d53ea1cdc373e 4586932 math optional coqide_8.1~gamma-1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)

iD4DBQFFY3OVIae1O4AJae8RAoSNAJoCVdN7CHR3LYAjGNO8ebQFWcRxqACXdl3+
shgmNBnYwKETb2mHVglH8g==
=k+O5
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: