Commit a5d7fd56 authored by erwan's avatar erwan
Browse files

Put setup.ml in the lutils.install file so that lutils can be opam-uninstall properly

parent 293b568c
Pipeline #7165 passed with stages
in 3 minutes and 13 seconds
OASISFormat: 0.4
Name: lutils
Version: 1.39
Version: 1.41
Authors: Erwan Jahier
Maintainers: erwan.jahier@imag.fr
License: CeCILL
......
\newcommand{\version}{1.40}
\newcommand{\sha}{1fbbf1c}
\newcommand{\version}{1.41}
\newcommand{\sha}{293b568}
\newcommand{\versionname}{none}
\newcommand{\versiondate}{23-03-18}
\newcommand{\versiondate}{27-04-18}
etc: [
"setup.ml"
"setup.data"
"setup.log"
]
bin: [
"_build/src/gnuplotRifMain.native" {"gnuplot-rif"}
]
(* setup.ml generated for the first time by OASIS v0.4.10 *)
(* OASIS_START *)
(* DO NOT EDIT (digest: 63729d6c9e4d64de6f8abc89dea4c197) *)
(* DO NOT EDIT (digest: 898ed4959d985994f4611ed88b8c8c6f) *)
(*
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.39";
version = "1.41";
license =
OASISLicense.DEP5License
(OASISLicense.DEP5Unit
......@@ -7254,7 +7254,8 @@ let setup_t =
};
oasis_fn = Some "_oasis";
oasis_version = "0.4.10";
oasis_digest = Some "\175B\201#!K\171\002\1373w~\138q5\"";
oasis_digest =
Some "\180\000\135\151\192~\143\170\012\028\134\136\135^,\031";
oasis_exec = None;
oasis_setup_args = [];
setup_update = false
......@@ -7262,7 +7263,7 @@ let setup_t =
let setup () = BaseSetup.setup setup_t;;
# 7266 "setup.ml"
# 7267 "setup.ml"
let setup_t = BaseCompat.Compat_0_4.adapt_setup_t setup_t
open BaseCompat.Compat_0_4
(* OASIS_STOP *)
......
# OASIS_START
# DO NOT EDIT (digest: 2f93171c7d10f868c35f4bc99fd16e2b)
version = "1.39"
# DO NOT EDIT (digest: c39f6b0a9390022a198c15227b12205c)
version = "1.41"
description = "shared by Verimag/synchronous tools (lustre, lutin, rdbg)."
requires = "unix str camlp4 num"
archive(byte) = "lutils.cma"
......
let str="1.40"
let sha="1fbbf1c"
let str="1.41"
let sha="293b568"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment