commit 76d8ea9d142ca74b1bcb44aa5cadefd0ff4b81d7 · anil.recoil.org/opam-repository

+1

packages/libsail/libsail.0.15/opam

···

       28
       28
        
       homepage: "https://github.com/rems-project/sail"

     

       29
       29
        
       bug-reports: "https://github.com/rems-project/sail/issues"

     

       30
       30
        
       depends: [

     

       31
       31
       +
         "ocaml" {< "5.3"}

     

       31
       32
        
         "dune" {>= "3.0"}

     

       32
       33
        
         "dune-site" {>= "3.0.2"}

     

       33
       34
        
         "menhir" {build & >= "20180523"}

+1

packages/libsail/libsail.0.16/opam

···

       28
       28
        
       homepage: "https://github.com/rems-project/sail"

     

       29
       29
        
       bug-reports: "https://github.com/rems-project/sail/issues"

     

       30
       30
        
       depends: [

     

       31
       31
       +
         "ocaml" {< "5.3"}

     

       31
       32
        
         "dune" {>= "3.0"}

     

       32
       33
        
         "dune-site" {>= "3.0.2"}

     

       33
       34
        
         "bisect_ppx" {dev & >= "2.5.0"}

+1

packages/libsail/libsail.0.17.1/opam

···

       28
       28
        
       homepage: "https://github.com/rems-project/sail"

     

       29
       29
        
       bug-reports: "https://github.com/rems-project/sail/issues"

     

       30
       30
        
       depends: [

     

       31
       31
       +
         "ocaml" {< "5.3"}

     

       31
       32
        
         "dune" {>= "3.0"}

     

       32
       33
        
         "dune-site" {>= "3.0.2"}

     

       33
       34
        
         "bisect_ppx" {dev & >= "2.5.0"}

+2

packages/libsail/libsail.0.18/opam

···

       28
       28
        
       homepage: "https://github.com/rems-project/sail"

     

       29
       29
        
       bug-reports: "https://github.com/rems-project/sail/issues"

     

       30
       30
        
       depends: [

     

       31
       31
       +
         "ocaml"

     

       31
       32
        
         "dune" {>= "3.0"}

     

       32
       33
        
         "dune-site" {>= "3.0.2"}

     

       33
       34
        
         "bisect_ppx" {dev & >= "2.5.0"}

     
···

       41
       42
        
         "pprint" {>= "20220103"}

     

       42
       43
        
         "odoc" {with-doc}

     

       43
       44
        
       ]

     

       45
       45
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2" # uses the effect keyword

     

       44
       46
        
       build: [

     

       45
       47
        
         ["dune" "subst"] {dev}

     

       46
       48
        
         [

+1 -1

packages/yocaml_yaml/yocaml_yaml.1.0.0/opam

···

       20
       20
        
       bug-reports: "https://github.com/xhtmlboi/yocaml/issues"

     

       21
       21
        
       

     

       22
       22
        
       depends: [

     

       23
       23
       -
         "ocaml" { >= "4.11.1" }

     

       23
       23
       +
         "ocaml" { >= "4.11.1" & < "5.3"}

     

       24
       24
        
         "dune" { >= "2.8" }

     

       25
       25
        
         "odoc" {with-doc}

     

       26
       26
        
         "preface" { >= "1.0.0" }