commit 3a8f24e33beda3fd110c63f455e18cb232f84b62 · anil.recoil.org/opam-repository

+1 -1

packages/why3/why3.1.3.0/opam

···

       41
       41
        
       

     

       42
       42
        
       depends: [

     

       43
       43
        
         "conf-autoconf" {build & dev}

     

       44
       44
       -
         "ocaml" {>= "4.05.0"}

     

       44
       44
       +
         "ocaml" {>= "4.05.0" & < "5.0~"}

     

       45
       45
        
         "ocamlfind" {build}

     

       46
       46
        
         "menhir" {>= "20151112"}

     

       47
       47
        
         "num"

+1 -1

packages/why3/why3.1.3.1/opam

···

       41
       41
        
       

     

       42
       42
        
       depends: [

     

       43
       43
        
         "conf-autoconf" {build & dev}

     

       44
       44
       -
         "ocaml" {>= "4.05.0"}

     

       44
       44
       +
         "ocaml" {>= "4.05.0" & < "5.0~"}

     

       45
       45
        
         "ocamlfind" {build}

     

       46
       46
        
         "menhir" {>= "20151112"}

     

       47
       47
        
         "num"

+1 -1

packages/why3/why3.1.3.2/opam

···

       41
       41
        
       

     

       42
       42
        
       depends: [

     

       43
       43
        
         "conf-autoconf" {build & dev}

     

       44
       44
       -
         "ocaml" {>= "4.05.0"}

     

       44
       44
       +
         "ocaml" {>= "4.05.0" & < "5.0~"}

     

       45
       45
        
         "ocamlfind" {build}

     

       46
       46
        
         "menhir" {>= "20151112"}

     

       47
       47
        
         "num"

+1 -1

packages/why3/why3.1.3.3/opam

···

       41
       41
        
       

     

       42
       42
        
       depends: [

     

       43
       43
        
         "conf-autoconf" {build & dev}

     

       44
       44
       -
         "ocaml" {>= "4.05.0"}

     

       44
       44
       +
         "ocaml" {>= "4.05.0" & < "5.0~"}

     

       45
       45
        
         "ocamlfind" {build}

     

       46
       46
        
         "menhir" {>= "20151112"}

     

       47
       47
        
         "num"

+1 -1

packages/why3/why3.1.4.0/opam

···

       42
       42
        
       

     

       43
       43
        
       depends: [

     

       44
       44
        
         "conf-autoconf" {build & dev}

     

       45
       45
       -
         "ocaml" {>= "4.05.0"}

     

       45
       45
       +
         "ocaml" {>= "4.05.0" & < "5.0~"}

     

       46
       46
        
         "ocamlfind" {build}

     

       47
       47
        
         "menhir" {>= "20170418"}

     

       48
       48
        
         "num"

+1 -1

packages/why3/why3.1.4.1/opam

···

       42
       42
        
       

     

       43
       43
        
       depends: [

     

       44
       44
        
         "conf-autoconf" {build & dev}

     

       45
       45
       -
         "ocaml" {>= "4.05.0"}

     

       45
       45
       +
         "ocaml" {>= "4.05.0" & < "5.0~"}

     

       46
       46
        
         "ocamlfind" {build}

     

       47
       47
        
         "menhir" {>= "20170418"}

     

       48
       48
        
         "num"

+1 -1

packages/why3/why3.1.5.0/opam

···

       41
       41
        
       

     

       42
       42
        
       depends: [

     

       43
       43
        
         "conf-autoconf" {build & dev}

     

       44
       44
       -
         "ocaml" {>= "4.05.0"}

     

       44
       44
       +
         "ocaml" {>= "4.05.0" & < "5.0~"}

     

       45
       45
        
         "ocamlfind" {build}

     

       46
       46
        
         "menhir" {>= "20170418"}

     

       47
       47
        
         "num"