commit 4c29abfae25804ed58f30b2f015a2dbf89a36f09 · anil.recoil.org/opam-repository

+1 -1

packages/frama-c/frama-c.11.0/opam

···

       39
        
       ]

     

       40
        
       

     

       41
        
       depends: [

     

       42
       -
         "ocaml" {>= "3.12" & != "4.02.0"}

     

       43
        
         "frama-c-base" {= "11.0"}

     

       44
        
         "zarith"

     

       45
        
         "lablgtk" {>= "2.18.2"}

···

       39
        
       ]

     

       40
        
       

     

       41
        
       depends: [

     

       42
       +
         "ocaml" {>= "3.12" & != "4.02.0" & < "5.3"}

     

       43
        
         "frama-c-base" {= "11.0"}

     

       44
        
         "zarith"

     

       45
        
         "lablgtk" {>= "2.18.2"}

+1 -1

packages/frama-c/frama-c.12.1/opam

···

       45
        
       ]

     

       46
        
       

     

       47
        
       depends: [

     

       48
       -
         "ocaml" {>= "3.12" & != "4.02.0"}

     

       49
        
         "frama-c-base" {= "12.1"}

     

       50
        
         "zarith"

     

       51
        
         "lablgtk" {>= "2.18.2"}

···

       45
        
       ]

     

       46
        
       

     

       47
        
       depends: [

     

       48
       +
         "ocaml" {>= "3.12" & != "4.02.0" & < "5.3"}

     

       49
        
         "frama-c-base" {= "12.1"}

     

       50
        
         "zarith"

     

       51
        
         "lablgtk" {>= "2.18.2"}

+1 -1

packages/frama-c/frama-c.13.1/opam

···

       48
        
       ]

     

       49
        
       

     

       50
        
       depends: [

     

       51
       -
         "ocaml" {>= "4.00.1" & != "4.02.0" & != "4.02.2"}

     

       52
        
         "frama-c-base" {= "13.1"}

     

       53
        
         "zarith"

     

       54
        
         "lablgtk" {>= "2.18.2"}

···

       48
        
       ]

     

       49
        
       

     

       50
        
       depends: [

     

       51
       +
         "ocaml" {>= "4.00.1" & != "4.02.0" & != "4.02.2" & < "5.3"}

     

       52
        
         "frama-c-base" {= "13.1"}

     

       53
        
         "zarith"

     

       54
        
         "lablgtk" {>= "2.18.2"}

+1 -1

packages/frama-c/frama-c.14.0/opam

···

       48
        
       ]

     

       49
        
       

     

       50
        
       depends: [

     

       51
       -
         "ocaml" {>= "4.02.3"}

     

       52
        
         "frama-c-base" {= "14.0"}

     

       53
        
         "zarith"

     

       54
        
         "lablgtk" {>= "2.18.2"}

···

       48
        
       ]

     

       49
        
       

     

       50
        
       depends: [

     

       51
       +
         "ocaml" {>= "4.02.3" & < "5.3"}

     

       52
        
         "frama-c-base" {= "14.0"}

     

       53
        
         "zarith"

     

       54
        
         "lablgtk" {>= "2.18.2"}

+1 -1

packages/frama-c/frama-c.15.0/opam

···

       53
        
       ]

     

       54
        
       

     

       55
        
       depends: [

     

       56
       -
         "ocaml" {>= "4.02.3"}

     

       57
        
         "frama-c-base" {= "15.0"}

     

       58
        
         "lablgtk" {>= "2.18.2"}

     

       59
        
         "conf-gtksourceview"

···

       53
        
       ]

     

       54
        
       

     

       55
        
       depends: [

     

       56
       +
         "ocaml" {>= "4.02.3" & < "5.3"}

     

       57
        
         "frama-c-base" {= "15.0"}

     

       58
        
         "lablgtk" {>= "2.18.2"}

     

       59
        
         "conf-gtksourceview"

+1 -1

packages/frama-c/frama-c.19.1/opam

···

       84
        
       ]

     

       85
        
       

     

       86
        
       depends: [

     

       87
       -
         "ocaml" { >= "4.02.3" & ( < "4.08.0~" | >= "4.08.1" ) }

     

       88
        
         "ocamlgraph" { >= "1.8.8" & < "1.9~" }

     

       89
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       90
        
         "zarith"

···

       84
        
       ]

     

       85
        
       

     

       86
        
       depends: [

     

       87
       +
         "ocaml" {>= "4.02.3" & < "4.08.0~" | >= "4.08.1" & < "5.3"}

     

       88
        
         "ocamlgraph" { >= "1.8.8" & < "1.9~" }

     

       89
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       90
        
         "zarith"

+1 -1

packages/frama-c/frama-c.20.0/opam

···

       87
        
       

     

       88
        
       

     

       89
        
       depends: [

     

       90
       -
         "ocaml" { >= "4.05.0" & ( < "4.08.0~" | >= "4.08.1" ) }

     

       91
        
         "ocamlgraph" { >= "1.8.8" & < "1.9~" }

     

       92
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       93
        
         "zarith"

···

       87
        
       

     

       88
        
       

     

       89
        
       depends: [

     

       90
       +
         "ocaml" {>= "4.05.0" & < "4.08.0~" | >= "4.08.1" & < "5.3"}

     

       91
        
         "ocamlgraph" { >= "1.8.8" & < "1.9~" }

     

       92
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       93
        
         "zarith"

+1 -1

packages/frama-c/frama-c.21.0/opam

···

       104
        
       # Logs diffs against /tmp not /opam-tmp (imcompatible with opam sandbox)

     

       105
        
       

     

       106
        
       depends: [

     

       107
       -
         "ocaml" { >= "4.05.0" & ( < "4.08.0~" | >= "4.08.1" ) }

     

       108
        
         "ocamlgraph" { >= "1.8.8" & < "1.9~" }

     

       109
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       110
        
         "zarith"

···

       104
        
       # Logs diffs against /tmp not /opam-tmp (imcompatible with opam sandbox)

     

       105
        
       

     

       106
        
       depends: [

     

       107
       +
         "ocaml" {>= "4.05.0" & < "4.08.0~" | >= "4.08.1" & < "5.3"}

     

       108
        
         "ocamlgraph" { >= "1.8.8" & < "1.9~" }

     

       109
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       110
        
         "zarith"

+1 -1

packages/frama-c/frama-c.21.1/opam

···

       104
        
       # Logs diffs against /tmp not /opam-tmp (imcompatible with opam sandbox)

     

       105
        
       

     

       106
        
       depends: [

     

       107
       -
         "ocaml" { >= "4.05.0" & ( < "4.08.0~" | >= "4.08.1" ) }

     

       108
        
         "ocamlgraph" { >= "1.8.8" & < "1.9~" }

     

       109
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       110
        
         "zarith"

···

       104
        
       # Logs diffs against /tmp not /opam-tmp (imcompatible with opam sandbox)

     

       105
        
       

     

       106
        
       depends: [

     

       107
       +
         "ocaml" {>= "4.05.0" & < "4.08.0~" | >= "4.08.1" & < "5.3"}

     

       108
        
         "ocamlgraph" { >= "1.8.8" & < "1.9~" }

     

       109
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       110
        
         "zarith"

+1 -1

packages/frama-c/frama-c.22.0/opam

···

       105
        
       ]

     

       106
        
       

     

       107
        
       depends: [

     

       108
       -
         "ocaml" { >= "4.08.1" }

     

       109
        
         "ocamlgraph" { >= "1.8.8" }

     

       110
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       111
        
         "zarith"

···

       105
        
       ]

     

       106
        
       

     

       107
        
       depends: [

     

       108
       +
         "ocaml" {>= "4.08.1" & < "5.3"}

     

       109
        
         "ocamlgraph" { >= "1.8.8" }

     

       110
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       111
        
         "zarith"

+1 -1

packages/frama-c/frama-c.24.0/opam

···

       115
        
         ( "alt-ergo-free" | "alt-ergo" )

     

       116
        
         "conf-graphviz" { post }

     

       117
        
         "conf-time" { with-test }

     

       118
       -
         "ocaml" { >= "4.08.1" }

     

       119
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       120
        
         "ocamlgraph" { >= "1.8.8" }

     

       121
        
         "ocamlgraph" { with-test & < "2.1.0" }

···

       115
        
         ( "alt-ergo-free" | "alt-ergo" )

     

       116
        
         "conf-graphviz" { post }

     

       117
        
         "conf-time" { with-test }

     

       118
       +
         "ocaml" {>= "4.08.1" & < "5.3"}

     

       119
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       120
        
         "ocamlgraph" { >= "1.8.8" }

     

       121
        
         "ocamlgraph" { with-test & < "2.1.0" }

+1 -1

packages/frama-c/frama-c.25.0/opam

···

       115
        
         ( "alt-ergo-free" | "alt-ergo" )

     

       116
        
         "conf-graphviz" { post }

     

       117
        
         "conf-time" { with-test }

     

       118
       -
         "ocaml" { >= "4.08.1" }

     

       119
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       120
        
         "ocamlgraph" { >= "1.8.8" }

     

       121
        
         "ocamlgraph" { with-test & < "2.1.0" }

···

       115
        
         ( "alt-ergo-free" | "alt-ergo" )

     

       116
        
         "conf-graphviz" { post }

     

       117
        
         "conf-time" { with-test }

     

       118
       +
         "ocaml" {>= "4.08.1" & < "5.3"}

     

       119
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       120
        
         "ocamlgraph" { >= "1.8.8" }

     

       121
        
         "ocamlgraph" { with-test & < "2.1.0" }

+1 -1

packages/frama-c/frama-c.25.0~beta/opam

···

       115
        
         ( "alt-ergo-free" | "alt-ergo" )

     

       116
        
         "conf-graphviz" { post }

     

       117
        
         "conf-time" { with-test }

     

       118
       -
         "ocaml" { >= "4.08.1" }

     

       119
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       120
        
         "ocamlgraph" { >= "1.8.8" }

     

       121
        
         "ocamlgraph" { with-test & < "2.1.0" }

···

       115
        
         ( "alt-ergo-free" | "alt-ergo" )

     

       116
        
         "conf-graphviz" { post }

     

       117
        
         "conf-time" { with-test }

     

       118
       +
         "ocaml" {>= "4.08.1" & < "5.3"}

     

       119
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       120
        
         "ocamlgraph" { >= "1.8.8" }

     

       121
        
         "ocamlgraph" { with-test & < "2.1.0" }

+1 -1

packages/frama-c/frama-c.26.0/opam

···

       115
        
         ( "alt-ergo-free" | "alt-ergo" )

     

       116
        
         "conf-graphviz" { post }

     

       117
        
         "conf-time" { with-test }

     

       118
       -
         "ocaml" { >= "4.11.1" }

     

       119
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       120
        
         "ocamlgraph" { >= "1.8.8" }

     

       121
        
         "ocamlgraph" { with-test & < "2.1.0" }

···

       115
        
         ( "alt-ergo-free" | "alt-ergo" )

     

       116
        
         "conf-graphviz" { post }

     

       117
        
         "conf-time" { with-test }

     

       118
       +
         "ocaml" {>= "4.11.1" & < "5.3"}

     

       119
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       120
        
         "ocamlgraph" { >= "1.8.8" }

     

       121
        
         "ocamlgraph" { with-test & < "2.1.0" }

+1 -1

packages/frama-c/frama-c.26.0~beta/opam

···

       117
        
         ( "alt-ergo-free" | "alt-ergo" )

     

       118
        
         "conf-graphviz" { post }

     

       119
        
         "conf-time" { with-test }

     

       120
       -
         "ocaml" { >= "4.11.1" }

     

       121
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       122
        
         "ocamlgraph" { >= "1.8.8" }

     

       123
        
         "ocamlgraph" { with-test & < "2.1.0" }

···

       117
        
         ( "alt-ergo-free" | "alt-ergo" )

     

       118
        
         "conf-graphviz" { post }

     

       119
        
         "conf-time" { with-test }

     

       120
       +
         "ocaml" {>= "4.11.1" & < "5.3"}

     

       121
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       122
        
         "ocamlgraph" { >= "1.8.8" }

     

       123
        
         "ocamlgraph" { with-test & < "2.1.0" }

+1 -1

packages/frama-c/frama-c.26.1/opam

···

       116
        
         ( "alt-ergo-free" | "alt-ergo" )

     

       117
        
         "conf-graphviz" { post }

     

       118
        
         "conf-time" { with-test }

     

       119
       -
         "ocaml" { >= "4.11.1" }

     

       120
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       121
        
         "ocamlgraph" { >= "1.8.8" }

     

       122
        
         "ocamlgraph" { with-test & < "2.1.0" }

···

       116
        
         ( "alt-ergo-free" | "alt-ergo" )

     

       117
        
         "conf-graphviz" { post }

     

       118
        
         "conf-time" { with-test }

     

       119
       +
         "ocaml" {>= "4.11.1" & < "5.3"}

     

       120
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       121
        
         "ocamlgraph" { >= "1.8.8" }

     

       122
        
         "ocamlgraph" { with-test & < "2.1.0" }

+1 -1

packages/frama-c/frama-c.27.0/opam

···

       123
        
         "conf-graphviz" { post }

     

       124
        
         "conf-time" { with-test }

     

       125
        
         "menhir" { >= "20181006" & build }

     

       126
       -
         "ocaml" { >= "4.11.1" }

     

       127
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       128
        
         "ocamlgraph" { >= "1.8.8" }

     

       129
        
         "ocamlgraph" { with-test & < "2.1.0" }

···

       123
        
         "conf-graphviz" { post }

     

       124
        
         "conf-time" { with-test }

     

       125
        
         "menhir" { >= "20181006" & build }

     

       126
       +
         "ocaml" {>= "4.11.1" & < "5.3"}

     

       127
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       128
        
         "ocamlgraph" { >= "1.8.8" }

     

       129
        
         "ocamlgraph" { with-test & < "2.1.0" }

+1 -1

packages/frama-c/frama-c.27.0~beta/opam

···

       119
        
         "conf-graphviz" { post }

     

       120
        
         "conf-time" { with-test }

     

       121
        
         "menhir" { >= "20181006" & build }

     

       122
       -
         "ocaml" { >= "4.11.1" }

     

       123
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       124
        
         "ocamlgraph" { >= "1.8.8" }

     

       125
        
         "ocamlgraph" { with-test & < "2.1.0" }

···

       119
        
         "conf-graphviz" { post }

     

       120
        
         "conf-time" { with-test }

     

       121
        
         "menhir" { >= "20181006" & build }

     

       122
       +
         "ocaml" {>= "4.11.1" & < "5.3"}

     

       123
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       124
        
         "ocamlgraph" { >= "1.8.8" }

     

       125
        
         "ocamlgraph" { with-test & < "2.1.0" }

+1 -1

packages/frama-c/frama-c.27.1/opam

···

       122
        
         "conf-graphviz" { post }

     

       123
        
         "conf-time" { with-test }

     

       124
        
         "menhir" { >= "20181006" & build }

     

       125
       -
         "ocaml" { >= "4.11.1" }

     

       126
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       127
        
         "ocamlgraph" { >= "1.8.8" }

     

       128
        
         "ocamlgraph" { with-test & < "2.1.0" }

···

       122
        
         "conf-graphviz" { post }

     

       123
        
         "conf-time" { with-test }

     

       124
        
         "menhir" { >= "20181006" & build }

     

       125
       +
         "ocaml" {>= "4.11.1" & < "5.3"}

     

       126
        
         "ocamlfind" # needed beyond build stage, used by -load-module

     

       127
        
         "ocamlgraph" { >= "1.8.8" }

     

       128
        
         "ocamlgraph" { with-test & < "2.1.0" }

+1 -1

packages/frama-c/frama-c.28.0~beta/opam

···

       127
        
         "conf-graphviz" { post }

     

       128
        
         "conf-time" { with-test }

     

       129
        
         "menhir" { >= "20181006" & build }

     

       130
       -
         "ocaml" { >= "4.13.1" }

     

       131
        
         "ocamlgraph" { >= "1.8.8" }

     

       132
        
         "ocamlgraph" { with-test & >= "2.1.0" }

     

       133
        
         "odoc" { with-doc }

···

       127
        
         "conf-graphviz" { post }

     

       128
        
         "conf-time" { with-test }

     

       129
        
         "menhir" { >= "20181006" & build }

     

       130
       +
         "ocaml" {>= "4.13.1" & < "5.3"}

     

       131
        
         "ocamlgraph" { >= "1.8.8" }

     

       132
        
         "ocamlgraph" { with-test & >= "2.1.0" }

     

       133
        
         "odoc" { with-doc }