···

       
4
       
4
       
 
       
homepage: "https://github.com/fstarlang/kremlin"

     

       
5
       
5
       
 
       
license: "Apache-2.0"

     

       
6
       
6
       
 
       
depends: [

     

       
7
       
7
       
-
       
  "ocaml" {>= "4.08.0"}

     

       
8
       
8
       
-
       
  "ocamlfind" {build}

     

       
9
       
9
       
-
       
  "batteries"

     

       
10
       
10
       
-
       
  "zarith"

     

       
11
       
11
       
-
       
  "stdint"

     

       
12
       
12
       
-
       
  "yojson"

     

       
13
       
13
       
-
       
  "ocamlbuild" {build}

     

       
14
       
14
       
-
       
  "fileutils"

     

       
15
       
15
       
-
       
  "menhir" {>= "20161115"}

     

       
16
       
16
       
-
       
  "pprint"

     

       
17
       
17
       
-
       
  "ulex"

     

       
18
       
18
       
-
       
  "process"

     

       
19
       
19
       
-
       
  "fix"

     

       
20
       
20
       
-
       
  "visitors"

     

       
21
       
21
       
-
       
  "wasm" {= "1.1.1"}

     

       
22
       
22
       
-
       
  "ppx_deriving"

     

       
23
       
23
       
-
       
  "ppx_deriving_yojson"

     

       
24
       
24
       
-
       
  "fstar" {= "2022.01.15"}

     

       
7
       
7
       
+
       
  "karamel"

     

       
25
       
8
       
 
       
]

     

       
26
       
26
       
-
       
depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}

     

       
27
       
9
       
 
       
synopsis: "Virtual package for the kremlin package now renamed into karamel. Can be safely uninstalled"

     

       
28
       
10
       
 
       
bug-reports: "https://github.com/FStarLang/karamel/issues"