From be04d3eba1f4962875ce486204d7212ae6b8c1f6 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Tue, 13 Feb 2024 14:32:16 +0100 Subject: [PATCH] since yocaml was released, no need for pin-depending on it --- README.md | 1 - blogger.opam | 10 ---------- 2 files changed, 11 deletions(-) diff --git a/README.md b/README.md index ff44918..67294de 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,6 @@ The user can have an overview of the website via: ```shell-session $ git clone git@git.robur.coop:robur/blog.robur.coop $ cd blog.robur.coop/ -$ opam pin add -yn . $ opam install --deps-only blogger $ dune exec src/blogger.exe -- watch ``` diff --git a/blogger.opam b/blogger.opam index 3d31865..92d7f42 100644 --- a/blogger.opam +++ b/blogger.opam @@ -31,13 +31,3 @@ depends: [ "yocaml_git" "yocaml_jingoo" ] - -pin-depends: [ - ["yocaml.dev" "git+https://github.com/xhtmlboi/yocaml.git"] - ["yocaml_unix.dev" "git+https://github.com/xhtmlboi/yocaml.git"] - ["yocaml_yaml.dev" "git+https://github.com/xhtmlboi/yocaml.git"] - ["yocaml_markdown.dev" "git+https://github.com/xhtmlboi/yocaml.git"] - ["yocaml_jingoo.dev" "git+https://github.com/xhtmlboi/yocaml.git"] - ["yocaml_git.dev" "git+https://github.com/xhtmlboi/yocaml.git"] - ["yocaml_cmark.dev" "git+https://github.com/xhtmlboi/yocaml.git"] -]