···

       
16
       
 
       
  "menhir" {>= "20200211" & < "20211215"}

     

       
17
       
 
       
  "menhirLib" {>= "20200211"}

     

       
18
       
 
       
  "unionFind" {>= "20200320"}

     

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

     

       
20
       
 
       
  "dune-build-info" {>= "2.0.1"}

     

       
21
       
 
       
  "cmdliner" {>= "1.0.4" & < "1.1.0"}

     

       
22
       
 
       
  "re" {>= "1.9.0"}

     

···

       
16
       
 
       
  "menhir" {>= "20200211" & < "20211215"}

     

       
17
       
 
       
  "menhirLib" {>= "20200211"}

     

       
18
       
 
       
  "unionFind" {>= "20200320"}

     

       
19
       
+
       
  "bindlib" {= "5.0.1"}

     

       
20
       
 
       
  "dune-build-info" {>= "2.0.1"}

     

       
21
       
 
       
  "cmdliner" {>= "1.0.4" & < "1.1.0"}

     

       
22
       
 
       
  "re" {>= "1.9.0"}

     

···

       
16
       
 
       
  "menhir" {>= "20200211"}

     

       
17
       
 
       
  "menhirLib" {>= "20200211"}

     

       
18
       
 
       
  "unionFind" {>= "20200320"}

     

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

     

       
20
       
 
       
  "cmdliner" {>= "1.0.4" & < "1.1.0"}

     

       
21
       
 
       
  "re" {>= "1.9.0"}

     

       
22
       
 
       
  "zarith" {>= "1.10"}

     

···

       
16
       
 
       
  "menhir" {>= "20200211"}

     

       
17
       
 
       
  "menhirLib" {>= "20200211"}

     

       
18
       
 
       
  "unionFind" {>= "20200320"}

     

       
19
       
+
       
  "bindlib" {= "5.0.1"}

     

       
20
       
 
       
  "cmdliner" {>= "1.0.4" & < "1.1.0"}

     

       
21
       
 
       
  "re" {>= "1.9.0"}

     

       
22
       
 
       
  "zarith" {>= "1.10"}

     

···

       
18
       
 
       
  "menhir" {>= "20200211"}

     

       
19
       
 
       
  "menhirLib" {>= "20200211"}

     

       
20
       
 
       
  "unionFind" {>= "20200320"}

     

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

     

       
22
       
 
       
  "cmdliner" {>= "1.0.4" & < "1.1.0"}

     

       
23
       
 
       
  "re" {>= "1.9.0"}

     

       
24
       
 
       
  "zarith" {>= "1.12"}

     

···

       
18
       
 
       
  "menhir" {>= "20200211"}

     

       
19
       
 
       
  "menhirLib" {>= "20200211"}

     

       
20
       
 
       
  "unionFind" {>= "20200320"}

     

       
21
       
+
       
  "bindlib" {= "5.0.1"}

     

       
22
       
 
       
  "cmdliner" {>= "1.0.4" & < "1.1.0"}

     

       
23
       
 
       
  "re" {>= "1.9.0"}

     

       
24
       
 
       
  "zarith" {>= "1.12"}

     

···

       
20
       
 
       
    "menhir"

     

       
21
       
 
       
    "earley" {>= "1.0.2"}

     

       
22
       
 
       
    "earley-ocaml" {>= "1.0.2"}

     

       
23
       
-
       
    "bindlib" {>= "5.0.0"}

     

       
24
       
 
       
    "timed" {>= "1.0"} ]

     

       
25
       
 
       


     

       
26
       
 
       
synopsis   : "Implementation of the λΠ-calculus modulo rewriting"

     

···

       
20
       
 
       
    "menhir"

     

       
21
       
 
       
    "earley" {>= "1.0.2"}

     

       
22
       
 
       
    "earley-ocaml" {>= "1.0.2"}

     

       
23
       
+
       
    "bindlib" {= "5.0.0"}

     

       
24
       
 
       
    "timed" {>= "1.0"} ]

     

       
25
       
 
       


     

       
26
       
 
       
synopsis   : "Implementation of the λΠ-calculus modulo rewriting"

     

···

       
47
       
 
       
  "alcotest" {with-test}

     

       
48
       
 
       
  "alt-ergo" {with-test}

     

       
49
       
 
       
  "alt-ergo" {<= "2.4.0"}

     

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

     

       
51
       
 
       
  "timed" {>= "1.0"}

     

       
52
       
 
       
  "pratter" {>= "1.2"}

     

       
53
       
 
       
  "why3" {>= "1.4.0"}

     

···

       
47
       
 
       
  "alcotest" {with-test}

     

       
48
       
 
       
  "alt-ergo" {with-test}

     

       
49
       
 
       
  "alt-ergo" {<= "2.4.0"}

     

       
50
       
+
       
  "bindlib" {= "5.0.1"}

     

       
51
       
 
       
  "timed" {>= "1.0"}

     

       
52
       
 
       
  "pratter" {>= "1.2"}

     

       
53
       
 
       
  "why3" {>= "1.4.0"}

     

···

       
49
       
 
       
  "alcotest" {with-test}

     

       
50
       
 
       
  "alt-ergo" {with-test}

     

       
51
       
 
       
  "alt-ergo" {<= "2.4.0"}

     

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

     

       
53
       
 
       
  "timed" {>= "1.0"}

     

       
54
       
 
       
  "pratter" {>= "1.2"}

     

       
55
       
 
       
  "why3" {>= "1.4.0"}

     

···

       
49
       
 
       
  "alcotest" {with-test}

     

       
50
       
 
       
  "alt-ergo" {with-test}

     

       
51
       
 
       
  "alt-ergo" {<= "2.4.0"}

     

       
52
       
+
       
  "bindlib" {= "5.0.1"}

     

       
53
       
 
       
  "timed" {>= "1.0"}

     

       
54
       
 
       
  "pratter" {>= "1.2"}

     

       
55
       
 
       
  "why3" {>= "1.4.0"}