[Pkg-ocaml-maint-commits] r5981 - /trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch

[dogguy-guest at users.alioth.debian.org]

Author: dogguy-guest
Date: Wed Sep 10 14:51:43 2008
New Revision: 5981

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5981
Log:
New upstream release 2.15

Modified:
    trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch

Modified: trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch?rev=5981&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch (original)
+++ trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch Wed Sep 10 14:51:43 2008
@@ -5,8 +5,8 @@
 
 @DPATCH@
 diff -urNad trunk~/Makefile.in trunk/Makefile.in
---- trunk~/Makefile.in	2008-07-28 14:03:03.000000000 +0200
-+++ trunk/Makefile.in	2008-07-31 19:21:14.000000000 +0200
+--- trunk~/Makefile.in	2008-09-09 09:20:14.000000000 +0200
++++ trunk/Makefile.in	2008-09-10 16:40:16.000000000 +0200
 @@ -160,9 +160,9 @@
        $(SIMPLIFY2WHY) $(WHYSTAT) 
  
@@ -19,7 +19,7 @@
  endif
  
  all: $(BINARY) check $(CADUCEUS) $(JESSIE) $(KRAKATOA) coq- at COQ@ pvs- at PVS@ $(TOOLS) gwhy- at LABLGTK2@ $(JCLIB) $(REGTEST)
-@@ -309,6 +309,12 @@
+@@ -311,6 +311,12 @@
  jc/jc.cmx: $(JCCMX_EXPORT)
  	$(OCAMLOPT) $(OFLAGS) -pack -o $@ $^