Skip to content

Commit

Permalink
Add ArchLinux packages to README download list
Browse files Browse the repository at this point in the history
  • Loading branch information
quark17 committed Nov 26, 2021
1 parent 92be4a0 commit fd50140
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
Expand Up @@ -91,6 +91,7 @@ Feel free to give it a try and see if it can be useful to our community.
For the following systems, the Bluespec toolchain is available
as a package that can be installed with the standard package manager:

* ArchLinux AUR: [`bluespec-git`](https://aur.archlinux.org/packages/bluespec-git/) ([among others](https://aur.archlinux.org/packages/?K=bluespec))
* Nix/NixOS: [`bluespec`](https://search.nixos.org/packages?channel=20.09&from=0&size=50&sort=relevance&query=bluespec)

If a package exists for your system, we recommend installing that.
Expand Down

0 comments on commit fd50140

Please sign in to comment.