Skip to content

Commit 5a54ee2

Browse files
authored
Merge pull request #27532 from codinuum/diffast-20250303
diffast meta-package modified to include all relevant packages
2 parents ee32f89 + df8db7e commit 5a54ee2

File tree

1 file changed

+2
-4
lines changed
  • packages/diffast/diffast.0.1.1

1 file changed

+2
-4
lines changed

packages/diffast/diffast.0.1.1/opam

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -23,12 +23,9 @@ depends: [
2323
"diffast-etc" {= version}
2424
"diffast-api" {= version}
2525
"diffast-cli" {= version}
26-
"diffast-langs-common" {= version}
27-
"odoc" {with-doc}
28-
]
29-
depopts: [
3026
"diffast-git" {= version}
3127
"diffast-git-cli" {= version}
28+
"diffast-langs-common" {= version}
3229
"diffast-langs-cpp-parsing" {= version}
3330
"diffast-langs-cpp-spec" {= version}
3431
"diffast-langs-cpp" {= version}
@@ -44,6 +41,7 @@ depopts: [
4441
"diffast-langs-verilog-parsing" {= version}
4542
"diffast-langs-verilog-spec" {= version}
4643
"diffast-langs-verilog" {= version}
44+
"odoc" {with-doc}
4745
]
4846
build: [
4947
["dune" "subst"] {dev}

0 commit comments

Comments
 (0)