File tree Expand file tree Collapse file tree 2 files changed +2
-12
lines changed
src/driver/test/config_file/test_odoc_driver Expand file tree Collapse file tree 2 files changed +2
-12
lines changed Original file line number Diff line number Diff line change 1
- (lang dune 3 .16 )
1
+ (lang dune 3 .7 )
2
2
3
3
(name test_odoc_driver)
4
4
Original file line number Diff line number Diff line change 1
1
# This file is generated by dune, edit dune-project instead
2
2
opam-version: "2.0"
3
- synopsis: "A short synopsis"
4
- description: "A longer description"
5
- maintainer: ["Maintainer Name"]
6
- authors: ["Author Name"]
7
- license: "LICENSE"
8
- tags: ["topics" "to describe" "your" "project"]
9
- homepage: "https://github.com/username/reponame"
10
- doc: "https://url/to/documentation"
11
- bug-reports: "https://github.com/username/reponame/issues"
12
3
depends: [
13
4
"ocaml"
14
- "dune" {>= "3.16 "}
5
+ "dune" {>= "3.7 "}
15
6
"odoc" {with-doc}
16
7
]
17
8
build: [
@@ -28,4 +19,3 @@ build: [
28
19
"@doc" {with-doc}
29
20
]
30
21
]
31
- dev-repo: "git+https://github.com/username/reponame.git"
You can’t perform that action at this time.
0 commit comments