anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Add "ocaml < 5.2" for asai.{0.1.1, 0.2.0, 0.3.0}

favonia 41b1116b 70a91775

+3 -3
+1 -1
packages/asai/asai.0.1.1/opam
··· 10 10 bug-reports: "https://github.com/RedPRL/asai/issues" 11 11 depends: [ 12 12 "dune" {>= "3.1"} 13 - "ocaml" {>= "5.0"} 13 + "ocaml" {>= "5.0" & < "5.2"} 14 14 "algaeff" {>= "1.0" & < "2.0"} 15 15 "bwd" {>= "2.2"} 16 16 "eio" {>= "0.12"}
+1 -1
packages/asai/asai.0.2.0/opam
··· 10 10 bug-reports: "https://github.com/RedPRL/asai/issues" 11 11 depends: [ 12 12 "dune" {>= "3.1"} 13 - "ocaml" {>= "5.0"} 13 + "ocaml" {>= "5.0" & < "5.2"} 14 14 "algaeff" {>= "1.0" & < "2.0"} 15 15 "bwd" {>= "2.2"} 16 16 "notty" {>= "0.2.3"}
+1 -1
packages/asai/asai.0.3.0/opam
··· 10 10 bug-reports: "https://github.com/RedPRL/asai/issues" 11 11 depends: [ 12 12 "dune" {>= "3.1"} 13 - "ocaml" {>= "5.0"} 13 + "ocaml" {>= "5.0" & < "5.2"} 14 14 "algaeff" {>= "2.0"} 15 15 "bwd" {>= "2.2"} 16 16 "alcotest" {with-test & >= "1.5"}