commit 351b8a5d9e84bb90fb00bbdea7ef4fa086edf583 · anil.recoil.org/opam-repository

+2

packages/why3/why3.1.7.0/opam

···

       72
       72
        
         "mlmpfr"

     

       73
       73
        
       ]

     

       74
       74
        
       

     

       75
       75
       +
       available: os != "win32" | os-distribution = "cygwinports"

     

       76
       76
       +
       

     

       75
       77
        
       conflicts: [

     

       76
       78
        
         "why3-base"

     

       77
       79
        
         "ocamlgraph" {< "1.8.2"}

+2

packages/why3/why3.1.7.1/opam

···

       72
       72
        
         "mlmpfr"

     

       73
       73
        
       ]

     

       74
       74
        
       

     

       75
       75
       +
       available: os != "win32" | os-distribution = "cygwinports"

     

       76
       76
       +
       

     

       75
       77
        
       conflicts: [

     

       76
       78
        
         "why3-base"

     

       77
       79
        
         "ocamlgraph" {< "1.8.2"}

+2

packages/why3/why3.1.7.2/opam

···

       72
       72
        
         "mlmpfr"

     

       73
       73
        
       ]

     

       74
       74
        
       

     

       75
       75
       +
       available: os != "win32" | os-distribution = "cygwinports"

     

       76
       76
       +
       

     

       75
       77
        
       conflicts: [

     

       76
       78
        
         "why3-base"

     

       77
       79
        
         "ocamlgraph" {< "1.8.2"}