Update left-over links

apalache-mc · Nov 7, 2024 · c1c03aa · c1c03aa
1 parent 5d2987b
commit c1c03aa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-The landing page for Apalache served from http://informalsystems.github.io/apalache/
+The landing page for Apalache served from https://apalache-mc.org/
 
 ## Structure
 

diff --git a/index.md b/index.md
@@ -63,7 +63,7 @@ Related reports and publications can be found at the
 
 <!-- LINKS -->
 
-[Chat]: https://informal-systems.zulipchat.com/#narrow/stream/265309-apalache
+[Chat]: https://apalache.discourse.group/
 [Contribute]: https://github.com/informalsystems/apalache/blob/unstable/CONTRIBUTING.md
 [Features]: ./docs/apalache/features.html
 [Installation]: ./docs/apalache/installation/index.html