commit 65a427c2c426d45bdb6a51c159e2996b46df1a26 · anil.recoil.org/opam-repository

+2 -2

packages/why3/why3.1.7.0/opam

···

       42
       42
        
          "--enable-zip" {camlzip:installed}

     

       43
       43
        
          "--disable-hypothesis-selection" {!ocamlgraph:installed}

     

       44
       44
        
          "--enable-hypothesis-selection" {ocamlgraph:installed}

     

       45
       45
       -
          "--disable-stackify" {!ocamlgraph:installed}

     

       46
       46
       -
          "--enable-stackify" {ocamlgraph:installed}

     

       45
       45
       +
          "--disable-stackify" {!ocamlgraph:installed | ocaml:version < "4.12"}

     

       46
       46
       +
          "--enable-stackify" {ocamlgraph:installed & ocaml:version >= "4.12"}

     

       47
       47
        
          "--disable-ide"]

     

       48
       48
        
         [make "-j%{jobs}%" "all" "opt" "byte"]

     

       49
       49
        
         [make "doc" "stdlibdoc" "apidoc"] {with-doc}

+2 -2

packages/why3/why3.1.7.1/opam

···

       42
       42
        
          "--enable-zip" {camlzip:installed}

     

       43
       43
        
          "--disable-hypothesis-selection" {!ocamlgraph:installed}

     

       44
       44
        
          "--enable-hypothesis-selection" {ocamlgraph:installed}

     

       45
       45
       -
          "--disable-stackify" {!ocamlgraph:installed}

     

       46
       46
       -
          "--enable-stackify" {ocamlgraph:installed}

     

       45
       45
       +
          "--disable-stackify" {!ocamlgraph:installed | ocaml:version < "4.12"}

     

       46
       46
       +
          "--enable-stackify" {ocamlgraph:installed & ocaml:version >= "4.12"}

     

       47
       47
        
          "--disable-ide"]

     

       48
       48
        
         [make "-j%{jobs}%" "all" "opt" "byte"]

     

       49
       49
        
         [make "doc" "stdlibdoc" "apidoc"] {with-doc}

+2 -2

packages/why3/why3.1.7.2/opam

···

       42
       42
        
          "--enable-zip" {camlzip:installed}

     

       43
       43
        
          "--disable-hypothesis-selection" {!ocamlgraph:installed}

     

       44
       44
        
          "--enable-hypothesis-selection" {ocamlgraph:installed}

     

       45
       45
       -
          "--disable-stackify" {!ocamlgraph:installed}

     

       46
       46
       -
          "--enable-stackify" {ocamlgraph:installed}

     

       45
       45
       +
          "--disable-stackify" {!ocamlgraph:installed | ocaml:version < "4.12"}

     

       46
       46
       +
          "--enable-stackify" {ocamlgraph:installed & ocaml:version >= "4.12"}

     

       47
       47
        
          "--disable-ide"]

     

       48
       48
        
         [make "-j%{jobs}%" "all" "byte"]

     

       49
       49
        
         [make "doc" "stdlibdoc" "apidoc"] {with-doc}

+2 -2

packages/why3/why3.1.8.0/opam

···

       38
       38
        
          "--enable-zip" {camlzip:installed}

     

       39
       39
        
          "--disable-hypothesis-selection" {!ocamlgraph:installed}

     

       40
       40
        
          "--enable-hypothesis-selection" {ocamlgraph:installed}

     

       41
       41
       -
          "--disable-stackify" {!ocamlgraph:installed}

     

       42
       42
       -
          "--enable-stackify" {ocamlgraph:installed}

     

       41
       41
       +
          "--disable-stackify" {!ocamlgraph:installed | ocaml:version < "4.12"}

     

       42
       42
       +
          "--enable-stackify" {ocamlgraph:installed & ocaml:version >= "4.12"}

     

       43
       43
        
          "--disable-ide"]

     

       44
       44
        
         [make "-j%{jobs}%" "all" "byte"]

     

       45
       45
        
         [make "doc" "stdlibdoc" "apidoc"] {with-doc}