From eff559e292ca54b0c34fc1c2bba82b4ad6028638 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D9=85=D8=B5=D8=B7=D9=81=D9=8A=20=D9=85=D8=AD=D9=85=D9=88?= =?UTF-8?q?=D8=AF=20=D9=83=D9=85=D8=A7=D9=84=20=D8=A7=D9=84=D8=AF=D9=8A?= =?UTF-8?q?=D9=86?= <48567303+moste00@users.noreply.github.com> Date: Fri, 11 Oct 2024 22:46:28 +0300 Subject: [PATCH] attempt #4 to fix CI --- dune-project | 2 +- riscv_disasm_from_sail.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index 4ec3e87..fe9a1f0 100644 --- a/dune-project +++ b/dune-project @@ -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))) diff --git a/riscv_disasm_from_sail.opam b/riscv_disasm_from_sail.opam index 83aac7c..865dd95 100644 --- a/riscv_disasm_from_sail.opam +++ b/riscv_disasm_from_sail.opam @@ -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: [