Sfoglia il codice sorgente

update extlib version in opam file (see #10155)

Aleksandr Kuzmenko 4 anni fa
parent
commit
e38f2eedc6
1 ha cambiato i file con 1 aggiunte e 1 eliminazioni
  1. 1 1
      opam

+ 1 - 1
opam

@@ -25,7 +25,7 @@ depends: [
   "camlp5" {build & = "8.00~alpha05"}
   "sedlex" {>= "2.0"}
   "xml-light"
-  "extlib" {>= "1.7.6"}
+  "extlib" {>= "1.7.8"}
   "ptmap" {>= "2.0.0"}
   "sha"
   "conf-libpcre"