This reverts commit 2f1e6d41163cc96e0d975dcc31b8ad2d027a9ba5.
@@ -25,7 +25,7 @@ depends: [
"dune" {>= "1.11" & < "3.16"}
"sedlex" {>= "2.0"}
"xml-light"
- "extlib" {= "1.7.9"}
+ "extlib" {>= "1.7.8"}
"ptmap" {>= "2.0.0"}
"sha"
"camlp-streams"