1 files changed, 0 insertions, 49 deletions
diff --git a/pkgs/development/compilers/jasmin-compiler/default.nix b/pkgs/development/compilers/jasmin-compiler/default.nix
deleted file mode 100644
index 3e5ff09a7090..000000000000
--- a/pkgs/development/compilers/jasmin-compiler/default.nix
+++ /dev/null
@@ -1,49 +0,0 @@
-{ stdenv, lib, fetchurl, ocamlPackages, mpfr, ppl }:
-
-stdenv.mkDerivation rec {
-  pname = "jasmin-compiler";
-  version = "2023.06.4";
-
-  src = fetchurl {
-    url = "https://github.com/jasmin-lang/jasmin/releases/download/v${version}/jasmin-compiler-v${version}.tar.bz2";
-    hash = "sha256-b1lrVbXJQeg+7tI7JcR9JTuiel/b/mctU1caT/y/4SA=";
-  };
-
-  sourceRoot = "jasmin-compiler-v${version}/compiler";
-
-  nativeBuildInputs = with ocamlPackages; [ ocaml findlib dune_3 menhir camlidl cmdliner ];
-
-  buildInputs = [
-    mpfr
-    ppl
-  ] ++ (with ocamlPackages; [
-    apron
-    yojson
-  ]);
-
-  propagatedBuildInputs = with ocamlPackages; [
-    batteries
-    menhirLib
-    zarith
-  ];
-
-  outputs = [ "bin" "lib" "out" ];
-
-  installPhase = ''
-    runHook preInstall
-    dune build @install
-    dune install --prefix=$bin --libdir=$out/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib
-    mkdir -p $lib/lib/jasmin/easycrypt
-    cp ../eclib/*.ec $lib/lib/jasmin/easycrypt
-    runHook postInstall
-  '';
-
-  meta = {
-    description = "Workbench for high-assurance and high-speed cryptography";
-    homepage = "https://github.com/jasmin-lang/jasmin/";
-    license = lib.licenses.mit;
-    maintainers = [ lib.maintainers.vbgl ];
-    mainProgram = "jasminc";
-    platforms = lib.platforms.all;
-  };
-}