Merge pull request #2718 from JonathanLorimer/patch-1

Update README.md to point nix users to cosmos.nix
apalache-mc · Sep 6, 2023 · cf6e55b · cf6e55b
2 parents 6bb36ac + 6a29bcf
commit cf6e55b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -34,6 +34,8 @@ tag.
 
 To try the latest cool features, check out the head of the [main branch][].
 
+You can also find Apalache packaged via Nix at [cosmos.nix](https://github.com/informalsystems/cosmos.nix)
+
 For more information on installation options, see [the
 manual][user-manual-installation].