Skip to content

Commit

Permalink
Relax dependency version on odoc
Browse files Browse the repository at this point in the history
  • Loading branch information
Denis Merigoux committed Nov 29, 2023
1 parent d7fa9bb commit 8e98f0a
Show file tree
Hide file tree
Showing 3 changed files with 12 additions and 9 deletions.
17 changes: 10 additions & 7 deletions dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -28,19 +28,20 @@
"The Direction G\195\169n\195\169rale des Finances Publiques (DGFiP)\nuses the M language to specify how French taxes are computed\nfrom the characteristics of a fiscal household. This compiler\nparser the M code into a formalized compact intermediate language\nbefore translating it into various backend languages.\n")
(depends
(ocaml
(and(>= "4.11.2")))
(and
(>= "4.11.2")))
(dune
(and :build))
(ANSITerminal
(= 0.8.2))
(cmdliner
(= 1.1.0))
(= 1.1.0))
(re
(= 1.9.0))
(ocamlgraph
(= 1.8.8))
(odoc
(= 1.5.3))
(>= 1.5.3))
(dune-build-info
(= 2.5.1))
(num
Expand All @@ -50,18 +51,20 @@
(ocamlformat
(= 0.19.0))
(parmap
(= 1.2.3))))
(= 1.2.3))))

(package
(name irj_parser)
(synopsis "Parser for the IRJ tests")
(description "This parser is aimed for the tests used by la DGFiP to test the calculation of the French income tax")
(description
"This parser is aimed for the tests used by la DGFiP to test the calculation of the French income tax")
(depends
(ocaml
(and(>= "4.11.2")))
(and
(>= "4.11.2")))
(dune
(and :build))
(odoc
(= 1.5.3))
(>= 1.5.3))
(ocamlformat
(= 0.19.0))))
2 changes: 1 addition & 1 deletion irj_parser.opam
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ bug-reports: "https://gitlab.inria.fr/verifisc/mlang/issues"
depends: [
"ocaml" {>= "4.11.2"}
"dune" {build}
"odoc" {= "1.5.3"}
"odoc" {>= "1.5.3"}
"ocamlformat" {= "0.19.0"}
]
build: [
Expand Down
2 changes: 1 addition & 1 deletion mlang.opam
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ depends: [
"cmdliner" {= "1.1.0"}
"re" {= "1.9.0"}
"ocamlgraph" {= "1.8.8"}
"odoc" {= "1.5.3"}
"odoc" {>= "1.5.3"}
"dune-build-info" {= "2.5.1"}
"num" {>= "1.3"}
"mlgmpidl" {>= "1.2.12"}
Expand Down

0 comments on commit 8e98f0a

Please sign in to comment.