···

       
52
       
 
       
  "sedlex" {>= "2.2"}

     

       
53
       
 
       
  "alcotest" {with-test}

     

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

     

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

     

       
56
       
 
       
  "timed" {>= "1.0"}

     

       
57
       
-
       
  "pratter" {>= "2.0.0"}

     

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

     

       
59
       
 
       
  "why3" {>= "1.5.0" & < "1.6~"}

     

       
60
       
 
       
  "yojson" {>= "1.6.0"}

     

···

       
52
       
 
       
  "sedlex" {>= "2.2"}

     

       
53
       
 
       
  "alcotest" {with-test}

     

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

     

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

     

       
56
       
 
       
  "timed" {>= "1.0"}

     

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

     

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

     

       
59
       
 
       
  "why3" {>= "1.5.0" & < "1.6~"}

     

       
60
       
 
       
  "yojson" {>= "1.6.0"}

     

···

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

     

       
55
       
 
       
  "bindlib" {>= "6.0.0"}

     

       
56
       
 
       
  "timed" {>= "1.0"}

     

       
57
       
-
       
  "pratter" {>= "2.0.0"}

     

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

     

       
59
       
 
       
  "why3" {>= "1.5.0" & < "1.6~"}

     

       
60
       
 
       
  "yojson" {>= "1.6.0"}

     

···

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

     

       
55
       
 
       
  "bindlib" {>= "6.0.0"}

     

       
56
       
 
       
  "timed" {>= "1.0"}

     

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

     

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

     

       
59
       
 
       
  "why3" {>= "1.5.0" & < "1.6~"}

     

       
60
       
 
       
  "yojson" {>= "1.6.0"}

     

···

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

     

       
55
       
 
       
  "bindlib" {>= "6.0.0"}

     

       
56
       
 
       
  "timed" {>= "1.0"}

     

       
57
       
-
       
  "pratter" {>= "2.0.0"}

     

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

     

       
59
       
 
       
  "why3" {>= "1.6.0" & < "1.7~"}

     

       
60
       
 
       
  "yojson" {>= "1.6.0"}

     

···

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

     

       
55
       
 
       
  "bindlib" {>= "6.0.0"}

     

       
56
       
 
       
  "timed" {>= "1.0"}

     

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

     

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

     

       
59
       
 
       
  "why3" {>= "1.6.0" & < "1.7~"}

     

       
60
       
 
       
  "yojson" {>= "1.6.0"}

     

···

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

     

       
55
       
 
       
  "bindlib" {>= "6.0.0"}

     

       
56
       
 
       
  "timed" {>= "1.0"}

     

       
57
       
-
       
  "pratter" {>= "2.0.0"}

     

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

     

       
59
       
 
       
  "why3" {>= "1.6.0" & < "1.7~"}

     

       
60
       
 
       
  "yojson" {>= "1.6.0"}

     

···

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

     

       
55
       
 
       
  "bindlib" {>= "6.0.0"}

     

       
56
       
 
       
  "timed" {>= "1.0"}

     

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

     

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

     

       
59
       
 
       
  "why3" {>= "1.6.0" & < "1.7~"}

     

       
60
       
 
       
  "yojson" {>= "1.6.0"}