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

Merge pull request #21725 from kit-ty-kate/fix-83

inquire is not compatible with lambda-term 3.3.0

Kate b8ca9d43 89392022

options
unified split
Changed files
+2 -2
packages
inquire
inquire.0.1.0
opam
inquire.0.2.0
opam
+1 -1
packages/inquire/inquire.0.1.0/opam 
···

       
13

       
13

       
 

       
  "alcotest" {with-test}


     

       
14

       
14

       
 

       
  "base"


     

       
15

       
15

       
 

       
  "lwt"


     

       
16

       

       
-

       
  "lambda-term"


     

       

       
16

       
+

       
  "lambda-term" {< "3.3.0"}


     

       
17

       
17

       
 

       
]


     

       
18

       
18

       
 

       
build: [


     

       
19

       
19

       
 

       
  ["dune" "subst"] {dev}
+1 -1
packages/inquire/inquire.0.2.0/opam 
···

       
11

       
11

       
 

       
  "ocaml" {>= "4.08.0"}


     

       
12

       
12

       
 

       
  "dune" {>= "2.0"}


     

       
13

       
13

       
 

       
  "lwt"


     

       
14

       

       
-

       
  "lambda-term"


     

       

       
14

       
+

       
  "lambda-term" {< "3.3.0"}


     

       
15

       
15

       
 

       
  "zed" {>= "2.0"}


     

       
16

       
16

       
 

       
]


     

       
17

       
17

       
 

       
build: [