Skip to content

Commit 618edd0

Browse files
committed
Restore --strict
1 parent 5bf5702 commit 618edd0

File tree

1 file changed

+11
-11
lines changed
  • packages/catala/catala.1.0.0~alpha

1 file changed

+11
-11
lines changed

packages/catala/catala.1.0.0~alpha/opam

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -42,14 +42,14 @@ depends: [
4242
"alcotest" {>= "1.5.0"}
4343
"ninja_utils" {= "0.9.0"}
4444
"odoc" {with-doc}
45-
"ocamlformat" {cataladevmode & = "0.26.0"}
46-
"obelisk" {cataladevmode}
47-
"conf-npm" {cataladevmode}
48-
"conf-python-3-dev" {cataladevmode}
49-
"conf-openjdk" {cataladevmode}
50-
"cpdf" {cataladevmode}
51-
"conf-pandoc" {cataladevmode}
52-
"z3" {catalaz3mode}
45+
"ocamlformat" {?cataladevmode & cataladevmode & = "0.26.0"}
46+
"obelisk" {?cataladevmode & cataladevmode}
47+
"conf-npm" {?cataladevmode & cataladevmode}
48+
"conf-python-3-dev" {?cataladevmode & cataladevmode}
49+
"conf-openjdk" {?cataladevmode & cataladevmode}
50+
"cpdf" {?cataladevmode & cataladevmode}
51+
"conf-pandoc" {?cataladevmode & cataladevmode}
52+
"z3" {?catalaz3mode & catalaz3mode}
5353
"conf-ninja"
5454
"otoml" {>= "1.0"}
5555
]
@@ -71,9 +71,9 @@ build: [
7171
]
7272
depexts: [
7373
["groff"] {with-doc}
74-
["python3-pip"] {cataladevmode & os-family = "debian"}
75-
["py3-pip" "py3-pygments"] {cataladevmode & os-distribution = "alpine"}
76-
["python-pygments"] {cataladevmode & os-family = "arch"}
74+
["python3-pip"] {?cataladevmode & cataladevmode & os-family = "debian"}
75+
["py3-pip" "py3-pygments"] {?cataladevmode & cataladevmode & os-distribution = "alpine"}
76+
["python-pygments"] {?cataladevmode & cataladevmode & os-family = "arch"}
7777
]
7878
dev-repo: "git+https://github.com/CatalaLang/catala"
7979
url {

0 commit comments

Comments
 (0)