File tree Expand file tree Collapse file tree 4 files changed +6
-6
lines changed
Expand file tree Collapse file tree 4 files changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -15,7 +15,7 @@ depends: [
1515 "bwd" {>= "2.2"}
1616 "menhir" {>= "20220210"}
1717 "asai" {= version}
18- "odoc" {with-doc & >= "2.0" }
18+ "odoc" {with-doc}
1919]
2020build: [
2121 ["dune" "subst"] {dev}
Original file line number Diff line number Diff line change @@ -16,7 +16,7 @@ depends: [
1616 "eio_main" {>= "0.12"}
1717 "lsp" {>= "1.15"}
1818 "asai" {= version}
19- "odoc" {with-doc & >= "2.0" }
19+ "odoc" {with-doc}
2020]
2121build: [
2222 ["dune" "subst"] {dev}
Original file line number Diff line number Diff line change @@ -15,7 +15,7 @@ depends: [
1515 "bwd" {>= "2.2"}
1616 "notty" {>= "0.2.3"}
1717 "alcotest" {with-test & >= "1.5"}
18- "odoc" {with-doc & >= "2.0" }
18+ "odoc" {with-doc}
1919]
2020build: [
2121 ["dune" "subst"] {dev}
Original file line number Diff line number Diff line change 2222 ( bwd ( >= 2 .2) )
2323 ( notty ( >= 0 .2.3) )
2424 ( alcotest ( and :with -test ( >= 1 .5) ) )
25- ( odoc ( and :with -doc ( >= 2 .0 ) ) ) ) )
25+ ( odoc :with -doc) ) )
2626( package
2727 (name asai-lsp)
2828 (synopsis " LSP handler for the package asai" )
3434 ( eio_main ( >= 0 .12) )
3535 ( lsp ( >= 1 .15) )
3636 ( asai ( = :version ) )
37- ( odoc ( and :with -doc ( >= 2 .0 ) ) ) ) )
37+ ( odoc :with -doc) ) )
3838( package
3939 (name asai-examples)
4040 (synopsis " Examples of the package asai" )
4545 ( bwd ( >= 2 .2) )
4646 (menhir ( >= 20220210 ) )
4747 ( asai ( = :version ) )
48- ( odoc ( and :with -doc ( >= 2 .0 ) ) ) ) )
48+ ( odoc :with -doc) ) )
You can’t perform that action at this time.
0 commit comments