Skip to content

Commit bd10944

Browse files
authored
Merge pull request ocaml#24770 from Frama-C/fix/frama-c/minimal-dune-site
Frama-C: fix minimal version of dune-site
2 parents de78915 + c5fa715 commit bd10944

File tree

7 files changed

+7
-7
lines changed
  • packages/frama-c

7 files changed

+7
-7
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -110,7 +110,7 @@ depends: [
110110
"dune" { (>= "3.2.0" & os!="macos") | (>= "3.5.0" & os="macos") }
111111
"dune-configurator"
112112
"dune-private-libs"
113-
"dune-site"
113+
"dune-site" { >= "3.2.0" }
114114

115115
( "alt-ergo-free" | "alt-ergo" )
116116
"conf-graphviz" { post }

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,7 @@ depends: [
112112
"dune" { (>= "3.2.0" & os!="macos") | (>= "3.5.0" & os="macos") }
113113
"dune-configurator"
114114
"dune-private-libs"
115-
"dune-site"
115+
"dune-site" { >= "3.2.0" }
116116

117117
( "alt-ergo-free" | "alt-ergo" )
118118
"conf-graphviz" { post }

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -111,7 +111,7 @@ depends: [
111111
"dune" { (>= "3.2.0" & os!="macos") | (>= "3.5.0" & os="macos") }
112112
"dune-configurator"
113113
"dune-private-libs"
114-
"dune-site"
114+
"dune-site" { >= "3.2.0" }
115115

116116
( "alt-ergo-free" | "alt-ergo" )
117117
"conf-graphviz" { post }

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -117,7 +117,7 @@ run-test: [
117117
depends: [
118118
"dune" { >= "3.2.0" | (>= "3.5.0" & os="macos") }
119119
"dune-configurator"
120-
"dune-site"
120+
"dune-site" { >= "3.2.0" }
121121

122122
( "alt-ergo-free" | "alt-ergo" )
123123
"conf-graphviz" { post }

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -113,7 +113,7 @@ run-test: [
113113
depends: [
114114
"dune" { >= "3.2.0" | (>= "3.5.0" & os="macos") }
115115
"dune-configurator"
116-
"dune-site"
116+
"dune-site" { >= "3.2.0" }
117117

118118
( "alt-ergo-free" | "alt-ergo" )
119119
"conf-graphviz" { post }

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -116,7 +116,7 @@ run-test: [
116116
depends: [
117117
"dune" { >= "3.2.0" | (>= "3.5.0" & os="macos") }
118118
"dune-configurator"
119-
"dune-site"
119+
"dune-site" { >= "3.2.0" }
120120

121121
( "alt-ergo-free" | "alt-ergo" )
122122
"conf-graphviz" { post }

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -121,7 +121,7 @@ run-test: [
121121
depends: [
122122
"dune" { >= "3.7.0" }
123123
"dune-configurator"
124-
"dune-site"
124+
"dune-site" { >= "3.7.0" }
125125

126126
( "alt-ergo-free" | "alt-ergo" )
127127
"conf-graphviz" { post }

0 commit comments

Comments
 (0)