Update opam

Author: kit-ty-kate

packages/kremlin/kremlin.transition/opam

@@ -4,25 +4,7 @@ authors: "Jonathan Protzenko <[email protected]>"
 homepage: "https://github.com/fstarlang/kremlin"
 license: "Apache-2.0"
 depends: [
-  "ocaml" {>= "4.08.0"}
-  "ocamlfind" {build}
-  "batteries"
-  "zarith"
-  "stdint"
-  "yojson"
-  "ocamlbuild" {build}
-  "fileutils"
-  "menhir" {>= "20161115"}
-  "pprint"
-  "ulex"
-  "process"
-  "fix"
-  "visitors"
-  "wasm" {= "1.1.1"}
-  "ppx_deriving"
-  "ppx_deriving_yojson"
-  "fstar" {= "2022.01.15"}
+  "karamel"
 ]
-depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}
 synopsis: "Virtual package for the kremlin package now renamed into karamel. Can be safely uninstalled"
 bug-reports: "https://github.com/FStarLang/karamel/issues"