diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/fix/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/fix/default.nix | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/fix/default.nix b/pkgs/development/ocaml-modules/fix/default.nix new file mode 100644 index 00000000000..e960167c869 --- /dev/null +++ b/pkgs/development/ocaml-modules/fix/default.nix @@ -0,0 +1,24 @@ +{ lib, fetchFromGitLab, buildDunePackage }: + +buildDunePackage rec { + pname = "fix"; + version = "20211231"; + + src = fetchFromGitLab { + domain = "gitlab.inria.fr"; + owner = "fpottier"; + repo = "fix"; + rev = "${version}"; + sha256 = "sha256-T/tbiC95yzPb60AiEcvMRU47D8xUZNN5C4X33Y1VB9E="; + }; + + minimumOCamlVersion = "4.03"; + useDune2 = true; + + meta = with lib; { + homepage = "https://gitlab.inria.fr/fpottier/fix/"; + description = "A simple OCaml module for computing the least solution of a system of monotone equations"; + license = licenses.lgpl2Only; + maintainers = with maintainers; [ vbgl ]; + }; +} |