about summary refs log tree commit diff
path: root/pkgs/development/compilers/rml/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/compilers/rml/default.nix')
-rw-r--r--pkgs/development/compilers/rml/default.nix36
1 files changed, 0 insertions, 36 deletions
diff --git a/pkgs/development/compilers/rml/default.nix b/pkgs/development/compilers/rml/default.nix
deleted file mode 100644
index b2870cfb93d3..000000000000
--- a/pkgs/development/compilers/rml/default.nix
+++ /dev/null
@@ -1,36 +0,0 @@
-{ lib
-, stdenv
-, fetchFromGitHub
-, ocamlPackages
-}:
-
-stdenv.mkDerivation rec {
-  pname = "rml";
-  version = "1.09.07";
-
-  src = fetchFromGitHub {
-    owner = "reactiveml";
-    repo = pname;
-    rev = "${pname}-${version}-2021-07-26";
-    hash = "sha256-UFqXQBeIQMSV4O439j9s06p1hh7xA98Tu79FsjK9PIY=";
-  };
-
-  strictDeps = true;
-
-  nativeBuildInputs = with ocamlPackages; [
-    ocaml
-  ];
-
-  buildInputs = with ocamlPackages; [
-    num
-  ];
-
-  prefixKey = "-prefix ";
-
-  meta = with lib; {
-    description = "ReactiveML: a programming language for implementing interactive systems";
-    homepage = "https://rml.lri.fr";
-    license = with licenses; [ qpl lgpl21Plus ];
-    maintainers = with maintainers; [ wegank ];
-  };
-}