···

       
52
       
52
       
 
       
  "sedlex" {>= "2.2"}

     

       
53
       
53
       
 
       
  "alcotest" {with-test}

     

       
54
       
54
       
 
       
  "dedukti" {with-test & >= "2.7"}

     

       
55
       
55
       
-
       
  "bindlib" {>= "5.0.1"}

     

       
55
       
55
       
+
       
  "bindlib" {>= "6.0.0"}

     

       
56
       
56
       
 
       
  "timed" {>= "1.0"}

     

       
57
       
57
       
 
       
  "pratter" {>= "2.0.0" & < "3"}

     

       
58
       
58
       
 
       
  "camlp-streams" {>= "5.0"}