diff --git a/_oasis b/_oasis index 583234f04db75073846952867220ee3ef9ca8cfc..bb14c4d00817951889cb719273691b08d8832f59 100644 --- a/_oasis +++ b/_oasis @@ -1,6 +1,6 @@ OASISFormat: 0.4 Name: lutils -Version: 1.4 +Version: 1.5 Authors: Erwan Jahier Maintainers: erwan.jahier@imag.fr License: GPL-3 diff --git a/doc/version.tex b/doc/version.tex index 59584d9ea7f01ae0da8be36530b6fff38e61eae1..0f79d2654c3782c707e1dda8bc6227f7c1a92276 100644 --- a/doc/version.tex +++ b/doc/version.tex @@ -1,4 +1,4 @@ -\newcommand{\version}{1.4} -\newcommand{\sha}{4f6f011} +\newcommand{\version}{1.5} +\newcommand{\sha}{06235a5} \newcommand{\versionname}{none} \newcommand{\versiondate}{02-02-16} diff --git a/src/META b/src/META index f436f13ff820352b6484f9602499fef4e57d5cd9..9e3909228577bdd69530a9a39fd6b9a1e12d0845 100644 --- a/src/META +++ b/src/META @@ -1,6 +1,6 @@ # OASIS_START -# DO NOT EDIT (digest: 001f58193d137e873d0b1451c9b716bc) -version = "1.4" +# DO NOT EDIT (digest: 3a0ce45c72f32c9af78bffe75df0a053) +version = "1.5" description = "shared by Verimag/synchronous tools (lustre, lutin, rdbg)." requires = "unix str camlp4 num" archive(byte) = "lutils.cma" diff --git a/src/lutilsVersion.ml b/src/lutilsVersion.ml new file mode 100644 index 0000000000000000000000000000000000000000..3fe92a7bd7e26f8a1af1ba3233d1f7bbdd676236 --- /dev/null +++ b/src/lutilsVersion.ml @@ -0,0 +1,2 @@ +let str="1.5" +let sha="06235a5"