why3: 0.86.2 -> 0.86.3

And merge with ocamlPackages.why3
(the OCaml library would not work correctly if packaged separately).

1 files changed, 0 insertions, 21 deletions

diff --git a/pkgs/development/ocaml-modules/why3/default.nix b/pkgs/development/ocaml-modules/why3/default.nix
deleted file mode 100644
index 3ce0f8bdfac3..000000000000
--- a/pkgs/development/ocaml-modules/why3/default.nix
+++ /dev/null
@@ -1,21 +0,0 @@
-{ stdenv, ocaml, findlib, zarith, menhir, why3 }:
-
-let ocaml-version = stdenv.lib.getVersion ocaml; in
-
-assert stdenv.lib.versionAtLeast ocaml-version "4.01";
-
-stdenv.mkDerivation {
-  name = "ocaml-${why3.name}";
-
-  inherit (why3) src;
-
-  buildInputs = [ ocaml findlib zarith menhir ];
-
-  installTargets = "install-lib";
-
-  meta = {
-    inherit (why3.meta) license homepage;
-    platforms = ocaml.meta.platforms;
-    maintainers = with stdenv.lib.maintainers; [ vbgl ];
-  };
-}