Fix links for doc in opam files

Gbury · Dec 7, 2022 · 93623c3 · 93623c3
1 parent 7533519
commit 93623c3
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/dolmen.opam b/dolmen.opam
@@ -24,7 +24,7 @@ homepage: "https://github.com/Gbury/dolmen"
 dev-repo: "git+https://github.com/Gbury/dolmen.git"
 bug-reports: "https://github.com/Gbury/dolmen/issues"
 
-doc: "http://gbury.github.io/dolmen"
+doc: "https://gbury.github.io/dolmen"
 synopsis: "A parser library for automated deduction"
 description:
 "Dolmen is a parser library. It currently targets languages used in automated theorem provers,

diff --git a/dolmen_bin.opam b/dolmen_bin.opam
@@ -27,7 +27,7 @@ homepage: "https://github.com/Gbury/dolmen"
 dev-repo: "git+https://github.com/Gbury/dolmen.git"
 bug-reports: "https://github.com/Gbury/dolmen/issues"
 
-doc: "http://gbury.github.io/dolmen"
+doc: "https://gbury.github.io/dolmen"
 synopsis: "A linter for logic languages"
 description:
 "The dolmen binary is an instantiation of the Dolmen library

diff --git a/dolmen_loop.opam b/dolmen_loop.opam
@@ -22,7 +22,7 @@ homepage: "https://github.com/Gbury/dolmen"
 dev-repo: "git+https://github.com/Gbury/dolmen.git"
 bug-reports: "https://github.com/Gbury/dolmen/issues"
 
-doc: "http://gbury.github.io/dolmen"
+doc: "https://gbury.github.io/dolmen"
 synopsis: "A tool library for automated deduction tools"
 description:
 "Dolmen Loop is a library of useful helpers to parse

diff --git a/dolmen_lsp.opam b/dolmen_lsp.opam
@@ -26,5 +26,5 @@ homepage: "https://github.com/Gbury/dolmen"
 dev-repo: "git+https://github.com/Gbury/dolmen.git"
 bug-reports: "https://github.com/Gbury/dolmen/issues"
 
-doc: "http://gbury.github.io/dolmen"
+doc: "https://gbury.github.io/dolmen"
 synopsis: "A LSP server for automated deduction languages"
diff --git a/dolmen_model.opam b/dolmen_model.opam
@@ -22,5 +22,5 @@ homepage: "https://github.com/Gbury/dolmen"
 dev-repo: "git+https://github.com/Gbury/dolmen.git"
 bug-reports: "https://github.com/Gbury/dolmen/issues"
 
-doc: "http://gbury.github.io/dolmen"
+doc: "https://gbury.github.io/dolmen"
 synopsis: "A model checker for automated deduction languages"
diff --git a/dolmen_type.opam b/dolmen_type.opam
@@ -21,5 +21,5 @@ homepage: "https://github.com/Gbury/dolmen"
 dev-repo: "git+https://github.com/Gbury/dolmen.git"
 bug-reports: "https://github.com/Gbury/dolmen/issues"
 
-doc: "http://gbury.github.io/dolmen"
+doc: "https://gbury.github.io/dolmen"
 synopsis: "A typechecker for automated deduction languages"