[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20100401+boron+dfsg-4-10-gf188023

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 293a03142ad93954273864d9dc640b25e075d8f9
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Apr 15 23:08:02 2011 +0200

    Fix Categories field in frama-c.desktop (Closes: #610432) (LP: #613853).

diff --git a/debian/changelog b/debian/changelog
index 95b171b..4f75129 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,8 +5,9 @@ frama-c (20110201+carbon+dfsg-1) unstable; urgency=low
     - Remove all patches, integrated by upstream.
     - Add patches:
       + 0001-Value-Analysis-Carbon-patchlevel-1.patch 
+  * Fix Categories field in frama-c.desktop (Closes: #610432) (LP: #613853).
 
- -- Mehdi Dogguy <mehdi at debian.org>  Fri, 15 Apr 2011 22:36:53 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Fri, 15 Apr 2011 23:06:36 +0200
 
 frama-c (20100401+boron+dfsg-5) unstable; urgency=low
 
diff --git a/debian/frama-c.desktop b/debian/frama-c.desktop
index bccd2ea..6839f5c 100644
--- a/debian/frama-c.desktop
+++ b/debian/frama-c.desktop
@@ -3,6 +3,7 @@ Name=Frama-C
 Comment=Framework for source code analysis of software written in C
 Exec=frama-c-gui
 Type=Application
-Categories=Development;Science;IDE;GTK;
+Categories=Development;ComputerScience;IDE;GTK;
+OnlyShowIn=Development
 Terminal=false
 Icon=frama-c

-- 
frama-c packaging