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

+3 -4

packages/MlFront_Cli/MlFront_Cli.0.4.0~prerel7/opam

···

       23
       23
        
         "tezt" {with-test & >= "4.1.0"}

     

       24
       24
        
         "odoc" {with-doc}

     

       25
       25
        
       ]

     

       26
       26
       -
       conflicts: [

     

       27
       27
       -
         "base-effects"

     

       28
       28
       -
       ]

     

       26
       26
       +
       conflicts: "ocaml-variants" {= "5.1.1+effect-syntax"}

     

       27
       27
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       29
       28
        
       build: [

     

       30
       29
        
         [

     

       31
       30
        
           "sh"

     
···

       49
       48
        
           "md5=eaaecad4dfce5ad6849444bfa1e0cc44"

     

       50
       49
        
           "sha512=9cf976ec567c41101249a4cc1f57dedac14597f664d44ab8d25d1507812357ab038a6d47fe7e4450d25114e7f9edcedbcf78c1e24267858d8b7b0c12fb15c22b"

     

       51
       50
        
         ]

     

       52
       52
       -
       }
     

       51
       51
       +
       }

+2 -1

packages/coq-core/coq-core.8.17.0/opam

···

       34
       34
        
       conflicts: [

     

       35
       35
        
         "coq"   { < "8.17" }

     

       36
       36
        
         "ocaml-option-bytecode-only"

     

       37
       37
       -
         "base-effects"

     

       37
       37
       +
         "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       38
       38
        
       ]

     

       39
       39
       +
       build-env: OCAMLPARAM = "_,w=-46,warn-error=-a,keywords=5.2"

     

       39
       40
        
       build: [

     

       40
       41
        
         [ "./configure"

     

       41
       42
        
           "-prefix" prefix

+2 -1

packages/coq-core/coq-core.8.17.1/opam

···

       33
       33
        
       ]

     

       34
       34
        
       conflicts: [

     

       35
       35
        
         "coq"   { < "8.17" }

     

       36
       36
       -
         "base-effects"

     

       36
       36
       +
         "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       37
       37
        
       ]

     

       38
       38
       +
       build-env: OCAMLPARAM = "_,w=-46,warn-error=-a,keywords=5.2"

     

       38
       39
        
       build: [

     

       39
       40
        
         [ "./configure"

     

       40
       41
        
           "-prefix" prefix

+2 -1

packages/coq-core/coq-core.8.18.0/opam

···

       34
       34
        
       ]

     

       35
       35
        
       conflicts: [

     

       36
       36
        
         "coq"   { < "8.17" }

     

       37
       37
       -
         "base-effects"

     

       37
       37
       +
         "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       38
       38
        
       ]

     

       39
       39
       +
       build-env: OCAMLPARAM = "_,w=-46,warn-error=-a,keywords=5.2"

     

       39
       40
        
       build: [

     

       40
       41
        
         # Requires dune 2.8 due to https://github.com/ocaml/dune/issues/3219

     

       41
       42
        
         # ["dune" "subst"] {pinned}

+2 -1

packages/coq-core/coq-core.8.19.0/opam

···

       34
       34
        
       ]

     

       35
       35
        
       conflicts: [

     

       36
       36
        
         "coq"   { < "8.17" }

     

       37
       37
       -
         "base-effects"

     

       37
       37
       +
         "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       38
       38
        
       ]

     

       39
       39
        
       depopts: ["coq-native"]

     

       40
       40
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       41
       41
       +
       build-env: OCAMLPARAM = "_,w=-46,warn-error=-a,keywords=5.2"

     

       41
       42
        
       build: [

     

       42
       43
        
         ["dune" "subst"] {dev}

     

       43
       44
        
         [ "./configure"

+2 -1

packages/coq-core/coq-core.8.19.1/opam

···

       34
       34
        
       ]

     

       35
       35
        
       conflicts: [

     

       36
       36
        
         "coq"   { < "8.17" }

     

       37
       37
       -
         "base-effects"

     

       37
       37
       +
         "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       38
       38
        
       ]

     

       39
       39
        
       depopts: ["coq-native"]

     

       40
       40
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       41
       41
       +
       build-env: OCAMLPARAM = "_,w=-46,warn-error=-a,keywords=5.2"

     

       41
       42
        
       build: [

     

       42
       43
        
         ["dune" "subst"] {dev}

     

       43
       44
        
         [ "./configure"

+2 -3

packages/mock/mock.1.0.0/opam

···

       6
       6
        
       license: "BSD-2-Clause"

     

       7
       7
        
       dev-repo: "git+https://github.com/cryptosense/ocaml-mock.git"

     

       8
       8
        
       doc: "https://cryptosense.github.io/ocaml-mock/doc"

     

       9
       9
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       9
       10
        
       build: [

     

       10
       11
        
         [ "dune" "build" "-p" name "-j" jobs ]

     

       11
       12
        
       ]

     
···

       13
       14
        
         "dune"

     

       14
       15
        
         "ocaml" {>= "4.07.0"}

     

       15
       16
        
       ]

     

       16
       16
       -
       conflicts: [

     

       17
       17
       -
         "base-effects"

     

       18
       18
       -
       ]

     

       17
       17
       +
       conflicts: "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       19
       18
        
       synopsis: "Configurable functions to test impure code"

     

       20
       19
        
       description: """

     

       21
       20
        
       This package provides "mocks", fake functions that can be configured to return

+3 -4

packages/mopsa/mopsa.1.0/opam

···

       37
       37
        
         "odoc" {with-doc}

     

       38
       38
        
       ]

     

       39
       39
        
       depopts: ["elina"]

     

       40
       40
       -
       conflicts: [

     

       41
       41
       -
         "base-effects"

     

       42
       42
       -
       ]

     

       40
       40
       +
       conflicts: "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       43
       41
        
       available:

     

       44
       42
        
         !(arch = "x86_32") & !(os-family = "windows") & opam-version >= "2.1.0"

     

       43
       43
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       45
       44
        
       build: [

     

       46
       45
        
         ["./configure"] {os != "macos"}

     

       47
       46
        
         [

     
···

       97
       96
        
           "md5=9f673f79708b44a7effb3b6bb3618d2c"

     

       98
       97
        
           "sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4"

     

       99
       98
        
         ]

     

       100
       100
       -
       }
     

       99
       99
       +
       }

+3 -1

packages/omake/omake.0.10.6/opam

···

       11
       11
        
       homepage: "http://projects.camlcity.org/projects/omake.html"

     

       12
       12
        
       bug-reports: "https://github.com/ocaml-omake/issues"

     

       13
       13
        
       

     

       14
       14
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       15
       15
       +
       

     

       14
       16
        
       build: [

     

       15
       17
        
         ["./configure" "-prefix" "%{prefix}%"]

     

       16
       18
        
         [make]

     
···

       24
       26
        
         "ocaml" {>= "4.03.0"}

     

       25
       27
        
         "ocamlfind"

     

       26
       28
        
       ]

     

       27
       27
       -
       conflicts: [ "base-effects" ]

     

       29
       29
       +
       conflicts: "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       28
       30
        
       synopsis: "Build system designed for scalability and portability"

     

       29
       31
        
       

     

       30
       32
        
       url {

+2 -3

packages/prbnmcn-dagger/prbnmcn-dagger.0.0.2/opam

···

       14
       14
        
         "prbnmcn-cgrph" {= "0.0.2"}

     

       15
       15
        
         "odoc" {with-doc}

     

       16
       16
        
       ]

     

       17
       17
       -
       conflicts: [

     

       18
       18
       -
         "base-effects"

     

       19
       19
       -
       ]

     

       17
       17
       +
       conflicts: "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       18
       18
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       20
       19
        
       build: [

     

       21
       20
        
         ["dune" "subst"] {dev}

     

       22
       21
        
         [

+2 -3

packages/prbnmcn-dagger/prbnmcn-dagger.0.0.3/opam

···

       17
       17
        
         "prbnmcn-cgrph" {= "0.0.2"}

     

       18
       18
        
         "odoc" {with-doc}

     

       19
       19
        
       ]

     

       20
       20
       -
       conflicts: [

     

       21
       21
       -
         "base-effects"

     

       22
       22
       -
       ]

     

       20
       20
       +
       conflicts: "ocaml-variants" {= "5.1.1+effect-syntax"}

     

       21
       21
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       23
       22
        
       build: [

     

       24
       23
        
         ["dune" "subst"] {dev}

     

       25
       24
        
         [

+2 -3

packages/prbnmcn-dagger/prbnmcn-dagger.0.0.4/opam

···

       18
       18
        
         "prbnmcn-cgrph" {= "0.0.2"}

     

       19
       19
        
         "odoc" {with-doc}

     

       20
       20
        
       ]

     

       21
       21
       -
       conflicts: [

     

       22
       22
       -
         "base-effects"

     

       23
       23
       -
       ]

     

       21
       21
       +
       conflicts: "ocaml-variants" {= "5.1.1+effect-syntax"}

     

       22
       22
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       24
       23
        
       build: [

     

       25
       24
        
         ["dune" "subst"] {dev}

     

       26
       25
        
         [

+2 -3

packages/prbnmcn-dagger/prbnmcn-dagger.0.0.5/opam

···

       18
       18
        
         "prbnmcn-cgrph" {= "0.0.2"}

     

       19
       19
        
         "odoc" {with-doc}

     

       20
       20
        
       ]

     

       21
       21
       -
       conflicts: [

     

       22
       22
       -
         "base-effects"

     

       23
       23
       -
       ]

     

       21
       21
       +
       conflicts: "ocaml-variants" {= "5.1.1+effect-syntax"}

     

       22
       22
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       24
       23
        
       build: [

     

       25
       24
        
         ["dune" "subst"] {dev}

     

       26
       25
        
         [

+3 -1

packages/why3/why3.1.6.0/opam

···

       22
       22
        
         "interactive theorem prover"

     

       23
       23
        
       ]

     

       24
       24
        
       

     

       25
       25
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       26
       26
       +
       

     

       25
       27
        
       build: [

     

       26
       28
        
         ["./autogen.sh"] {dev} # when pinning, there might be no configure file

     

       27
       29
        
         ["./configure"

     
···

       73
       75
        
         "why3-base"

     

       74
       76
        
         "ocamlgraph" {< "1.8.2"}

     

       75
       77
        
         "mlmpfr" {< "4.0.0"}

     

       76
       76
       -
         "base-effects"

     

       78
       78
       +
         "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       77
       79
        
         "ocaml-option-bytecode-only"

     

       78
       80
        
       ]

     

       79
       81

+3 -1

packages/why3/why3.1.7.0/opam

···

       22
       22
        
         "interactive theorem prover"

     

       23
       23
        
       ]

     

       24
       24
        
       

     

       25
       25
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       26
       26
       +
       

     

       25
       27
        
       build: [

     

       26
       28
        
         ["./autogen.sh"] {dev} # when pinning, there might be no configure file

     

       27
       29
        
         ["touch" "configure"]

     
···

       74
       76
        
         "why3-base"

     

       75
       77
        
         "ocamlgraph" {< "1.8.2"}

     

       76
       78
        
         "mlmpfr" {< "4.0.0"}

     

       77
       77
       -
         "base-effects"

     

       79
       79
       +
         "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       78
       80
        
         "ocaml-option-bytecode-only"

     

       79
       81
        
       ]

     

       80
       82

+3 -1

packages/why3/why3.1.7.1/opam

···

       22
       22
        
         "interactive theorem prover"

     

       23
       23
        
       ]

     

       24
       24
        
       

     

       25
       25
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       26
       26
       +
       

     

       25
       27
        
       build: [

     

       26
       28
        
         ["./autogen.sh"] {dev} # when pinning, there might be no configure file

     

       27
       29
        
         ["touch" "configure"]

     
···

       74
       76
        
         "why3-base"

     

       75
       77
        
         "ocamlgraph" {< "1.8.2"}

     

       76
       78
        
         "mlmpfr" {< "4.0.0"}

     

       77
       77
       -
         "base-effects"

     

       79
       79
       +
         "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       78
       80
        
         "ocaml-option-bytecode-only"

     

       79
       81
        
       ]

     

       80
       82

+3 -1

packages/why3/why3.1.7.2/opam

···

       22
       22
        
         "interactive theorem prover"

     

       23
       23
        
       ]

     

       24
       24
        
       

     

       25
       25
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       26
       26
       +
       

     

       25
       27
        
       build: [

     

       26
       28
        
         ["./autogen.sh"] {dev} # when pinning, there might be no configure file

     

       27
       29
        
         ["touch" "configure"]

     
···

       74
       76
        
         "why3-base"

     

       75
       77
        
         "ocamlgraph" {< "1.8.2"}

     

       76
       78
        
         "mlmpfr" {< "4.0.0"}

     

       77
       77
       -
         "base-effects"

     

       79
       79
       +
         "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       78
       80
        
       ]

     

       79
       81
        
       

     

       80
       82
        
       synopsis: "Why3 environment for deductive program verification"

+2 -3

packages/yocaml/yocaml.1.0.0/opam

···

       3
       3
        
       maintainer: "xhtmlboi@gmail.com"

     

       4
       4
        
       authors: [ "The XHTMLBoy <xhtmlboi@gmail.com>" ]

     

       5
       5
        
       

     

       6
       6
       +
       build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       6
       7
        
       build: [

     

       7
       8
        
         [ "dune" "subst" ] {dev}

     

       8
       9
        
         [ "dune" "build" "-p" name "-j" jobs ]

     
···

       23
       24
        
         "alcotest" {with-test}

     

       24
       25
        
         "preface" { >= "1.0.0"}

     

       25
       26
        
       ]

     

       26
       26
       -
       conflicts: [

     

       27
       27
       -
         "base-effects"

     

       28
       28
       -
       ]

     

       27
       27
       +
       conflicts: "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       29
       28
        
       url {

     

       30
       29
        
         src:

     

       31
       30
        
           "https://github.com/xhtmlboi/yocaml/releases/download/v1.0.0/yocaml-1.0.0.tbz"