diff --git a/_oasis b/_oasis index 13d29e57a9f44268ffbd09619c35ecbe0a34eced..166f94710996ff038ef6ad038928634487da2aba 100644 --- a/_oasis +++ b/_oasis @@ -1,6 +1,6 @@ OASISFormat: 0.4 Name: lutils -Version: 1.48.1 +Version: 1.48.2 Authors: Erwan Jahier Maintainers: erwan.jahier@imag.fr License: CeCILL diff --git a/doc/version.tex b/doc/version.tex index 8c2aed1132184aa30cfc015ea64eec7dd46dd0f5..3813cf20142cea39daae5be353143b14b2873218 100644 --- a/doc/version.tex +++ b/doc/version.tex @@ -1,4 +1,4 @@ -\newcommand{\version}{1.48.1} -\newcommand{\sha}{b343b75} +\newcommand{\version}{1.48.2} +\newcommand{\sha}{0f739b5} \newcommand{\versionname}{none} -\newcommand{\versiondate}{24-01-19} +\newcommand{\versiondate}{25-01-19} diff --git a/opam b/opam index 8214681a15a04786d4b64a95d44099bcd01fef8b..17bddf53da9ecf62338547b86d22199886b62add 100644 --- a/opam +++ b/opam @@ -23,6 +23,7 @@ depends: [ "camlp4" "ocamlbuild" {build} "ocamlfind" + "num" ] available: [ ocaml-version >= "4.02" ] post-messages: ["The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/ "] diff --git a/setup.ml b/setup.ml index c673c2126ebc734ab6080c7ed099b78c32a23889..dd188d245a19d6096de12e63018838bce1cc3239 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: 6b6fdf5e6a1a6cb3037ed1329b345503) *) +(* DO NOT EDIT (digest: 723e40f406bda477fb3ae714212e9086) *) (* Regenerated by OASIS v0.4.11 Visit http://oasis.forge.ocamlcore.org for more information and @@ -6871,7 +6871,7 @@ let setup_t = { oasis_version = "0.4"; ocaml_version = Some (OASISVersion.VGreaterEqual "4.02"); - version = "1.48.1"; + version = "1.48.2"; license = OASISLicense.DEP5License (OASISLicense.DEP5Unit @@ -7272,7 +7272,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.11"; - oasis_digest = Some "Z\154\154\157\159ro\244\n\016\031\218\242I/\129"; + oasis_digest = Some "?\199\212\n\175\130\193\240\194\131\176#8\155b\132"; oasis_exec = None; oasis_setup_args = []; setup_update = false diff --git a/src/META b/src/META index 993a6c07072903381a5218c81613df14a6c9e499..e131ac0ae04e4c01452c53aad5182689433ef59c 100644 --- a/src/META +++ b/src/META @@ -1,6 +1,6 @@ # OASIS_START -# DO NOT EDIT (digest: a1b9035418d38f276ef37b7c17dc6b3c) -version = "1.48.1" +# DO NOT EDIT (digest: 96e9f7d81a57fed72d7dac8690db68c0) +version = "1.48.2" 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 63a8baf24253a309bb4160cf66c974eace6c8954..a4591a6842a2916b225fb639e21fdaa1f5276cde 100644 --- a/src/lutilsVersion.ml +++ b/src/lutilsVersion.ml @@ -1,2 +1,2 @@ -let str="1.48.1" -let sha="b343b75" +let str="1.48.2" +let sha="0f739b5"