Skip to content

Commit

Permalink
attempt #4 to fix CI
Browse files Browse the repository at this point in the history
  • Loading branch information
moste00 committed Oct 11, 2024
1 parent 60e18bf commit eff559e
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@
(name riscv_disasm_from_sail)
(synopsis "A short synopsis")
(description "A longer description")
(depends ocaml dune (libsail (= 0.18.0)))
(depends ocaml dune (libsail (= 0.18)))
(tags
(topics "to describe" your project)))

Expand Down
2 changes: 1 addition & 1 deletion riscv_disasm_from_sail.opam
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ bug-reports: "https://github.com/moste00/riscv_disasm_from_sail/issues"
depends: [
"ocaml"
"dune" {>= "3.15"}
"libsail" {= "0.18.0"}
"libsail" {= "0.18"}
"odoc" {with-doc}
]
build: [
Expand Down

0 comments on commit eff559e

Please sign in to comment.