From defc93ec3d39cb5a79b4dbfeec99c603ea68d39f Mon Sep 17 00:00:00 2001 From: puripuri2100 Date: Sat, 22 May 2021 11:14:47 +0900 Subject: [PATCH] fix --- satysfi-class-exdesign-doc.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/satysfi-class-exdesign-doc.opam b/satysfi-class-exdesign-doc.opam index d5b6d0d..9b2505f 100644 --- a/satysfi-class-exdesign-doc.opam +++ b/satysfi-class-exdesign-doc.opam @@ -14,7 +14,7 @@ dev-repo: "git+https://github.com/puripuri2100/exdesign.git" depends: [ "satysfi" {>= "0.0.3" & < "0.0.7"} "satyrographos" {>= "0.0.2.6" & < "0.0.3"} - "satysfi-lib-dist" + "satysfi-dist" # You may want to include the corresponding library "satysfi-class-exdesign" {= "%{version}%"}