From f925efddf9f81d5e7f69757aa811960f2aa2f9f0 Mon Sep 17 00:00:00 2001 From: Dima Pasechnik Date: Sun, 10 Sep 2023 11:06:58 +0100 Subject: [PATCH] fix the URL for libsemigroups in README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f6e3532e6..faeacd834 100644 --- a/README.md +++ b/README.md @@ -96,7 +96,7 @@ Both [orb][] and [Semigroups][] perform better when [orb][] is compiled, so comp Enjoy! [Semigroups]: https://semigroups.github.io/Semigroups -[libsemigroups]: https://libsemigroups.github.io/libsemigroups +[libsemigroups]: https://libsemigroups.rtfd.io/ [pkg-config]: https://www.freedesktop.org/wiki/Software/pkg-config/ [orb]: https://gap-packages.github.io/orb [Digraphs]: https://digraphs.github.io/Digraphs