[Pkg-ocaml-maint-commits] r6023 - in /trunk/packages/why/trunk/debian: changelog control links patches/logopath.dpatch

Tue Nov 4 15:23:03 UTC 2008

Author: dogguy-guest
Date: Tue Nov  4 15:23:02 2008
New Revision: 6023

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6023
Log:
New upstream release (2.16)

Modified:
    trunk/packages/why/trunk/debian/changelog
    trunk/packages/why/trunk/debian/control
    trunk/packages/why/trunk/debian/links
    trunk/packages/why/trunk/debian/patches/logopath.dpatch

Modified: trunk/packages/why/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/changelog?rev=6023&op=diff
==============================================================================

--- trunk/packages/why/trunk/debian/changelog (original)
+++ trunk/packages/why/trunk/debian/changelog Tue Nov  4 15:23:02 2008
@@ -1,29 +1,26 @@
-why (2.15-1) UNRELEASED; urgency=low
+why (2.16-1) UNRELEASED; urgency=low
 
   * New upstream release.
-  * Update jessie_lib.dpatch patch (update line numbers).
-  * Bump standards version to 3.8.0
-  * Why is now using its own version of cpulimit:
-    - Don't remove anymore cpulimit
-    - Don't depend anymore on cpulimit
-    - Add a manpage for why-cpulimit
-    - Why is now using why-cpulimit. It avoids name collision 
-      with cpulimit Debian package, closes: #498485.
-  * Add patch descriptions to configure.dpatch and logopath.dpatch
-
- -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Thu, 31 Jul 2008 19:10:00 +0200
-
-why (2.13-2) UNRELEASED; urgency=low
-
-  * Move logo in /usr/share/why
-    - Add patch logopath.dpatch to find the logo's new location
-  * Add manpage for gwhy-bin
-  * Correct manpage location for krakatoa
-  * Add patch jessie_lib.dpatch to install Jessie library :
+  * Add jessie_lib.dpatch patch for Jessie library:
     - Build and install jc.{cma,cmxa,a}
     - Install jc.cmi
+  * Bump standards version to 3.8.0
+  * Installing .vo files in /usr/lib/coq/user-contrib, closes: #498713.
+  * Move logo in /usr/share/why (with logopath.dpatch)
+  * Add patch descriptions to configure.dpatch and logopath.dpatch
+  * Setting up manpages for krakatoa, gwhy-bin, tool-stat and why-config
+  * Change vcs browser address (for viewsvn)
 
- -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 17 Jun 2008 16:56:13 +0200
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 04 Nov 2008 16:18:51 +0100
+
+why (2.13-2) unstable; urgency=low
+
+  [ Mehdi Dogguy ]
+  * Using why-cpulimit instead of cpulimit Debian package, closes: 498485.
+  * Renaming 'dp' into 'why-dp', closes: #499140.
+  * Remove unnecessary dependency : cpulimit.
+
+ -- Julien Cristau <jcristau at debian.org>  Wed, 17 Sep 2008 21:45:11 +0200
 
 why (2.13-1) unstable; urgency=low
 

Modified: trunk/packages/why/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/control?rev=6023&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/control (original)
+++ trunk/packages/why/trunk/debian/control Tue Nov  4 15:23:02 2008
@@ -5,7 +5,7 @@
 Uploaders: Samuel Mimram <smimram at debian.org>, Mehdi Dogguy <dogguy at pps.jussieu.fr>
 Build-Depends: debhelper (>= 5), autotools-dev, ocaml-nox (>= 3.10), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev, coq (>= 8.1.pl2+dfsg-3), libfloat-coq (>= 1:8.1-1.0-4), ocamlweb, libocamlgraph-ocaml-dev, dpatch
 Standards-Version: 3.8.0
-Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/
+Vcs-Browser: http://svn.debian.org/viewsvn/pkg-ocaml-maint/trunk/packages/why/trunk/
 Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/why/trunk
 
 Package: why

Modified: trunk/packages/why/trunk/debian/links
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/links?rev=6023&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/links (original)
+++ trunk/packages/why/trunk/debian/links Tue Nov  4 15:23:02 2008
@@ -9,3 +9,5 @@
 usr/share/man/man1/why.1.gz usr/share/man/man1/why2html.1.gz
 usr/share/man/man1/why.1.gz usr/share/man/man1/krakatoa.1.gz
 usr/share/man/man1/why.1.gz usr/share/man/man1/gwhy-bin.1.gz
+usr/share/man/man1/why.1.gz usr/share/man/man1/tool-stat.1.gz
+usr/share/man/man1/why.1.gz usr/share/man/man1/why-config.1.gz

Modified: trunk/packages/why/trunk/debian/patches/logopath.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/patches/logopath.dpatch?rev=6023&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/patches/logopath.dpatch (original)
+++ trunk/packages/why/trunk/debian/patches/logopath.dpatch Tue Nov  4 15:23:02 2008
@@ -1,17 +1,17 @@
 #! /bin/sh /usr/share/dpatch/dpatch-run
-## logopath.dpatch by  <dogguy at pps.jussieu.fr>
+## logopath.dpatch by Mehdi Dogguy <dogguy at pps.jussieu.fr>
 ##
 ## DP: Move the logo in the right place.
 
 @DPATCH@
 diff -urNad trunk~/intf/pprinter.ml trunk/intf/pprinter.ml
---- trunk~/intf/pprinter.ml	2008-05-28 16:55:38.000000000 +0200
-+++ trunk/intf/pprinter.ml	2008-05-29 09:32:35.000000000 +0200
-@@ -169,7 +169,7 @@
+--- trunk~/intf/pprinter.ml	2008-10-29 11:35:08.000000000 +0100
++++ trunk/intf/pprinter.ml	2008-11-04 15:48:57.000000000 +0100
+@@ -167,7 +167,7 @@
  	  b#set_text (banner());
  	  begin
  	    try
--	      let why_logo_image = Options.lib_file "why-logo-1.png" in
+-	      let why_logo_image = Filename.concat Version.libdir "why-logo-1.png" in
 +	      let why_logo_image = "/usr/share/why/why-logo-1.png" in
  	      let why_logo = GdkPixbuf.from_file why_logo_image in
  	      b#insert_pixbuf ~iter:b#start_iter ~pixbuf:why_logo 


