1 files changed, 0 insertions, 51 deletions
diff --git a/pkgs/development/compilers/fstar/dune.nix b/pkgs/development/compilers/fstar/dune.nix
deleted file mode 100644
index 1ca476838c8b..000000000000
--- a/pkgs/development/compilers/fstar/dune.nix
+++ /dev/null
@@ -1,51 +0,0 @@
-{ batteries
-, buildDunePackage
-, memtrace
-, menhir
-, menhirLib
-, pprint
-, ppx_deriving
-, ppx_deriving_yojson
-, ppxlib
-, process
-, sedlex
-, src
-, stdint
-, version
-, yojson
-, zarith
-}:
-
-buildDunePackage {
-  pname = "fstar";
-  inherit version src;
-
-  postPatch = ''
-    patchShebangs ocaml/fstar-lib/make_fstar_version.sh
-    cd ocaml
-  '';
-
-  nativeBuildInputs = [
-    menhir
-  ];
-
-  buildInputs = [
-    memtrace
-  ];
-
-  propagatedBuildInputs = [
-    batteries
-    menhirLib
-    pprint
-    ppx_deriving
-    ppx_deriving_yojson
-    ppxlib
-    process
-    sedlex
-    stdint
-    yojson
-    zarith
-  ];
-
-  enableParallelBuilding = true;
-}