From c6d3c3b9d85f352c63bcf4360b1b6f8e92acc543 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 14 Jan 2018 16:43:55 -0600 Subject: [PATCH] update doc url --- sequence.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sequence.opam b/sequence.opam index a515569..af9f888 100644 --- a/sequence.opam +++ b/sequence.opam @@ -31,6 +31,6 @@ homepage: "https://github.com/c-cube/sequence/" depopts: [ "base-bigarray" ] -doc: "http://cedeela.fr/~simon/software/sequence/Sequence.html" +doc: "https://c-cube.github.io/sequence/" bug-reports: "https://github.com/c-cube/sequence/issues" dev-repo: "https://github.com/c-cube/sequence.git"