reverse previous commit

0f939d61 · erwan · 06966a60 · 0f939d61 · 0f939d61
Commit 0f939d61 authored Dec 06, 2017 by erwan
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 4 deletions

_oasis _oasis +2 -2

lutin/src/version.ml lutin/src/version.ml +2 -2

No files found.
--- a/_oasis
+++ b/_oasis
 OASISFormat: 0.4
 Name:        Lutin
-Version:     2.29
+Version:     2.32
 Authors:     Erwan Jahier
 Maintainers: erwan.jahier@imag.fr
 License:     PROP
@@ -21,7 +21,7 @@ PostInstallCommand: cp utils/simec_trap $exec_prefix/bin; cp utils/read-rif.sh $
 Executable lutin
  Path:   lutin/src
  MainIs: main.ml
-  BuildDepends: str,unix,num,rdbg-plugin (>= 1.109),lutin-utils,ezdl,gbddml,polka,camlp4,camlidl,mlgmpidl
+  BuildDepends: str,unix,num,rdbg-plugin (>= 1.109),lutin-utils,ezdl,gbddml,polka,camlp4,camlidl
  NativeOpt: -package num # XXX turn around a bug in oasis/ocamlbuild/ocamlfind?
  Build: true
  Install:true

--- a/lutin/src/version.ml
+++ b/lutin/src/version.ml
-let str="2.29"
-let sha="ce64ac1"
+let str="2.32"
+let sha="c09cc68"