this repo has no description

Merge pull request #22760 from kit-ty-kate/fix-178

odnnr is not compatible with parany >= 13

Kate 6f6517cc 0dd8c755

Changed files
+1 -1
packages
odnnr
odnnr.2.0.0
+1 -1
packages/odnnr/odnnr.2.0.0/opam
···
"dolog" {>= "4.0.0" & < "5.0.0"}
"batteries"
"minicli" {>= "5.0.0"}
-
"parany" {>= "11.0.0"}
+
"parany" {>= "11.0.0" & < "13.0.0"}
"cpm"
"conf-gnuplot"
]