opam stuff

c-cube · c-cube · commit 08cfaf5d2c63 · 2024-10-16T12:14:48.000-04:00
diff --git a/datalog.opam b/datalog.opam
@@ -20,12 +20,9 @@ build: [
 ]
 depends: [
   "dune"
-  "ocaml" { >= "4.03" }
+  "ocaml" { >= "4.08" }
   "odoc" {with-doc}
   "mdx" { >= "1.3" & with-test}
 ]
-depopts: [
-  "num"
-]
 dev-repo: "git://github.com/c-cube/datalog"
 bug-reports: "https://github.com/c-cube/datalog/issues"

Original file line number	Diff line number	Diff line change
`@@ -20,12 +20,9 @@ build: [`
`20`	`20`	`]`
`21`	`21`	`depends: [`
`22`	`22`	`"dune"`
`23`		`- "ocaml" { >= "4.03" }`
	`23`	`+ "ocaml" { >= "4.08" }`
`24`	`24`	`"odoc" {with-doc}`
`25`	`25`	`"mdx" { >= "1.3" & with-test}`
`26`	`26`	`]`
`27`		`-depopts: [`
`28`		`- "num"`
`29`		`-]`
`30`	`27`	`dev-repo: "git://github.com/c-cube/datalog"`
`31`	`28`	`bug-reports: "https://github.com/c-cube/datalog/issues"`