diff --git a/_oasis b/_oasis index c48192a25374dac3c5e03fd7d13bef1048d0f787..582cf9a2025b32239a939a727c742869a73e09fe 100644 --- a/_oasis +++ b/_oasis @@ -1,12 +1,13 @@ OASISFormat: 0.4 Name: lutils -Version: 1.41 +Version: 1.42 Authors: Erwan Jahier Maintainers: erwan.jahier@imag.fr License: CeCILL Plugins: DevFiles (0.4), META (0.4) Synopsis: Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg). -Homepage: http://www-verimag.imag.fr/ +Homepage: https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/ +SourceRepository: Description: The gnuplot-rif tool vizualise RIF files using gnuplot. @@ -41,4 +42,4 @@ SourceRepository "master" Type: git Location: https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils.git Branch: master - Browser: https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/ + Browser: https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/ diff --git a/doc/version.tex b/doc/version.tex index 484530c0b103c2a76a055e1a22c4493eecf8f8b5..a5793651ebff78669a4d09d369b4fac5da50fe07 100644 --- a/doc/version.tex +++ b/doc/version.tex @@ -1,4 +1,4 @@ -\newcommand{\version}{1.41} -\newcommand{\sha}{293b568} +\newcommand{\version}{1.42} +\newcommand{\sha}{a5d7fd5} \newcommand{\versionname}{none} -\newcommand{\versiondate}{27-04-18} +\newcommand{\versiondate}{30-04-18} diff --git a/setup.ml b/setup.ml index 561c0db2f27ef4298e0e92be6f2efca617f44a79..0cdc9ffe781559c3323078b16b15a1b85d283f96 100644 --- a/setup.ml +++ b/setup.ml @@ -1,7 +1,7 @@ (* setup.ml generated for the first time by OASIS v0.4.10 *) (* OASIS_START *) -(* DO NOT EDIT (digest: 898ed4959d985994f4611ed88b8c8c6f) *) +(* DO NOT EDIT (digest: 05976c6c76b64a539e73811f915f65f1) *) (* Regenerated by OASIS v0.4.10 Visit http://oasis.forge.ocamlcore.org for more information and @@ -6855,7 +6855,7 @@ let setup_t = { oasis_version = "0.4"; ocaml_version = None; - version = "1.41"; + version = "1.42"; license = OASISLicense.DEP5License (OASISLicense.DEP5Unit @@ -7254,8 +7254,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.10"; - oasis_digest = - Some "\180\000\135\151\192~\143\170\012\028\134\136\135^,\031"; + oasis_digest = Some "=\0118\180\216\203R:\174\226>22`\211\245"; oasis_exec = None; oasis_setup_args = []; setup_update = false @@ -7263,7 +7262,7 @@ let setup_t = let setup () = BaseSetup.setup setup_t;; -# 7267 "setup.ml" +# 7266 "setup.ml" let setup_t = BaseCompat.Compat_0_4.adapt_setup_t setup_t open BaseCompat.Compat_0_4 (* OASIS_STOP *) diff --git a/src/META b/src/META index 51ae841155ae84b06fc6d07558c5eb573c9c534a..92359df3dedec2d359cd0dedc754e1aac5381e33 100644 --- a/src/META +++ b/src/META @@ -1,6 +1,6 @@ # OASIS_START -# DO NOT EDIT (digest: c39f6b0a9390022a198c15227b12205c) -version = "1.41" +# DO NOT EDIT (digest: 7d279cc3ae5dfdd5cbcb26bc25f6ea4b) +version = "1.42" 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 index d97bcb377550d6fde5dc54f7a17384d748c686ad..6f467721886543249d8be3061783372e46fb4874 100644 --- a/src/lutilsVersion.ml +++ b/src/lutilsVersion.ml @@ -1,2 +1,2 @@ -let str="1.41" -let sha="293b568" +let str="1.42" +let sha="a5d7fd5"