commit b985e4a3ffbceeffadfc1f970c76b3184b253559 · anil.recoil.org/opam-repository

+1 -1

packages/lambdapi/lambdapi.2.3.1/opam

···

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

     

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

     

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

     

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

     

       59
       59
       +
         "why3" {>= "1.6.0" & < "1.8~"}

     

       60
       60
        
         "yojson" {>= "1.6.0"}

     

       61
       61
        
         "cmdliner" {>= "1.1.0"}

     

       62
       62
        
         "stdlib-shims" {>= "0.1.0"}

+1 -1

packages/lambdapi/lambdapi.2.4.0/opam

···

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

     

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

     

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

     

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

     

       59
       59
       +
         "why3" {>= "1.6.0" & < "1.8~"}

     

       60
       60
        
         "yojson" {>= "1.6.0"}

     

       61
       61
        
         "cmdliner" {>= "1.1.0"}

     

       62
       62
        
         "stdlib-shims" {>= "0.1.0"}

+1 -1

packages/lambdapi/lambdapi.2.4.1/opam

···

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

     

       57
       57
        
         "pratter" {>= "3.0.0" & < "4"}

     

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

     

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

     

       59
       59
       +
         "why3" {>= "1.6.0" & < "1.8~"}

     

       60
       60
        
         "yojson" {>= "1.6.0"}

     

       61
       61
        
         "cmdliner" {>= "1.1.0"}

     

       62
       62
        
         "stdlib-shims" {>= "0.1.0"}