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

Merge pull request #22874 from kit-ty-kate/fix-194

rankers is not compatible with parany >= 13 (Parany.run doesn't have ~core_pin anymore)

Kate fd9a7523 2642a3d5

options
unified split
Changed files
+1 -1
packages
rankers
rankers.2.0.7
opam
+1 -1
packages/rankers/rankers.2.0.7/opam 
···

       
17

       
17

       
 

       
  "minicli" {>= "5.0.0"}


     

       
18

       
18

       
 

       
  "molenc"


     

       
19

       
19

       
 

       
  "nlopt-ocaml"


     

       
20

       

       
-

       
  "parany" {>= "11.0.0"}


     

       

       
20

       
+

       
  "parany" {>= "11.0.0" & < "13.0.0"}


     

       
21

       
21

       
 

       
]


     

       
22

       
22

       
 

       
synopsis: "Vanishing Ranking Kernels (VRK)"


     

       
23

       
23

       
 

       
description: """