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

+1 -1

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

···

       110
        
         "dune" { (>= "3.2.0" & os!="macos") | (>= "3.5.0" & os="macos") }

     

       111
        
         "dune-configurator"

     

       112
        
         "dune-private-libs"

     

       113
       -
         "dune-site"

     

       114
        
       

     

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

     

       116
        
         "conf-graphviz" { post }

···

       110
        
         "dune" { (>= "3.2.0" & os!="macos") | (>= "3.5.0" & os="macos") }

     

       111
        
         "dune-configurator"

     

       112
        
         "dune-private-libs"

     

       113
       +
         "dune-site" { >= "3.2.0" }

     

       114
        
       

     

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

     

       116
        
         "conf-graphviz" { post }

+1 -1

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

···

       112
        
         "dune" { (>= "3.2.0" & os!="macos") | (>= "3.5.0" & os="macos") }

     

       113
        
         "dune-configurator"

     

       114
        
         "dune-private-libs"

     

       115
       -
         "dune-site"

     

       116
        
       

     

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

     

       118
        
         "conf-graphviz" { post }

···

       112
        
         "dune" { (>= "3.2.0" & os!="macos") | (>= "3.5.0" & os="macos") }

     

       113
        
         "dune-configurator"

     

       114
        
         "dune-private-libs"

     

       115
       +
         "dune-site" { >= "3.2.0" }

     

       116
        
       

     

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

     

       118
        
         "conf-graphviz" { post }

+1 -1

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

···

       111
        
         "dune" { (>= "3.2.0" & os!="macos") | (>= "3.5.0" & os="macos") }

     

       112
        
         "dune-configurator"

     

       113
        
         "dune-private-libs"

     

       114
       -
         "dune-site"

     

       115
        
       

     

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

     

       117
        
         "conf-graphviz" { post }

···

       111
        
         "dune" { (>= "3.2.0" & os!="macos") | (>= "3.5.0" & os="macos") }

     

       112
        
         "dune-configurator"

     

       113
        
         "dune-private-libs"

     

       114
       +
         "dune-site" { >= "3.2.0" }

     

       115
        
       

     

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

     

       117
        
         "conf-graphviz" { post }

+1 -1

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

···

       117
        
       depends: [

     

       118
        
         "dune" { >= "3.2.0" | (>= "3.5.0" & os="macos") }

     

       119
        
         "dune-configurator"

     

       120
       -
         "dune-site"

     

       121
        
       

     

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

     

       123
        
         "conf-graphviz" { post }

···

       117
        
       depends: [

     

       118
        
         "dune" { >= "3.2.0" | (>= "3.5.0" & os="macos") }

     

       119
        
         "dune-configurator"

     

       120
       +
         "dune-site" { >= "3.2.0" }

     

       121
        
       

     

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

     

       123
        
         "conf-graphviz" { post }

+1 -1

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

···

       113
        
       depends: [

     

       114
        
         "dune" { >= "3.2.0" | (>= "3.5.0" & os="macos") }

     

       115
        
         "dune-configurator"

     

       116
       -
         "dune-site"

     

       117
        
       

     

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

     

       119
        
         "conf-graphviz" { post }

···

       113
        
       depends: [

     

       114
        
         "dune" { >= "3.2.0" | (>= "3.5.0" & os="macos") }

     

       115
        
         "dune-configurator"

     

       116
       +
         "dune-site" { >= "3.2.0" }

     

       117
        
       

     

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

     

       119
        
         "conf-graphviz" { post }

+1 -1

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

···

       116
        
       depends: [

     

       117
        
         "dune" { >= "3.2.0" | (>= "3.5.0" & os="macos") }

     

       118
        
         "dune-configurator"

     

       119
       -
         "dune-site"

     

       120
        
       

     

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

     

       122
        
         "conf-graphviz" { post }

···

       116
        
       depends: [

     

       117
        
         "dune" { >= "3.2.0" | (>= "3.5.0" & os="macos") }

     

       118
        
         "dune-configurator"

     

       119
       +
         "dune-site" { >= "3.2.0" }

     

       120
        
       

     

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

     

       122
        
         "conf-graphviz" { post }

+1 -1

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

···

       121
        
       depends: [

     

       122
        
         "dune" { >= "3.7.0" }

     

       123
        
         "dune-configurator"

     

       124
       -
         "dune-site"

     

       125
        
       

     

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

     

       127
        
         "conf-graphviz" { post }

···

       121
        
       depends: [

     

       122
        
         "dune" { >= "3.7.0" }

     

       123
        
         "dune-configurator"

     

       124
       +
         "dune-site" { >= "3.7.0" }

     

       125
        
       

     

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

     

       127
        
         "conf-graphviz" { post }