diff --git a/src/driver/test/config_file/test_odoc_driver/dune-project b/src/driver/test/config_file/test_odoc_driver/dune-project index a1e23333c9..f1c6421cc5 100644 --- a/src/driver/test/config_file/test_odoc_driver/dune-project +++ b/src/driver/test/config_file/test_odoc_driver/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.16) +(lang dune 3.7) (name test_odoc_driver) diff --git a/src/driver/test/config_file/test_odoc_driver/test_odoc_driver.opam b/src/driver/test/config_file/test_odoc_driver/test_odoc_driver.opam index b296c11175..2e287d7593 100644 --- a/src/driver/test/config_file/test_odoc_driver/test_odoc_driver.opam +++ b/src/driver/test/config_file/test_odoc_driver/test_odoc_driver.opam @@ -1,17 +1,8 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -synopsis: "A short synopsis" -description: "A longer description" -maintainer: ["Maintainer Name"] -authors: ["Author Name"] -license: "LICENSE" -tags: ["topics" "to describe" "your" "project"] -homepage: "https://github.com/username/reponame" -doc: "https://url/to/documentation" -bug-reports: "https://github.com/username/reponame/issues" depends: [ "ocaml" - "dune" {>= "3.16"} + "dune" {>= "3.7"} "odoc" {with-doc} ] build: [ @@ -28,4 +19,3 @@ build: [ "@doc" {with-doc} ] ] -dev-repo: "git+https://github.com/username/reponame.git"