[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.18.dfsg-2-9-g51c9de8

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 51c9de85a35e714a8d4d95aabad3031257e59f2b
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue May 12 11:19:11 2009 +0200

    Move libjessie-ocaml-dev to section ocaml

diff --git a/debian/changelog b/debian/changelog
index 024c705..19c4e13 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -8,6 +8,7 @@ why (2.18.dfsg-3) UNRELEASED; urgency=low
   * Jessie library: 
     - Make jc_ast and jc_env fit in the pack
     - install jc.cmo and jc.cmx
+    - Move the binary package to section ocaml
 
  -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Thu, 16 Apr 2009 17:23:41 +0200
 
diff --git a/debian/control b/debian/control
index 2fb9aab..c7c81dc 100644
--- a/debian/control
+++ b/debian/control
@@ -57,7 +57,7 @@ Architecture: any
 Depends:
   ocaml-nox-${F:OCamlABI},
   ${misc:Depends}
-Section: libdevel
+Section: ocaml
 Description: Jessie library for code analysis
  Jessie library, from Why certification tool, is useful for C code 
  analysis. It also generates Why code.

-- 
why packaging