diff --git a/README.md b/README.md index 542b3a41e..13fe34cb0 100644 --- a/README.md +++ b/README.md @@ -97,6 +97,7 @@ 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)) * Gentoo GURU and LiGurOS: [`sci-electronics/bluespec`](https://gitweb.gentoo.org/repo/proj/guru.git/tree/sci-electronics/bluespec) * Nix/NixOS: [`bluespec`](https://search.nixos.org/packages?channel=20.09&from=0&size=50&sort=relevance&query=bluespec) +* Fedora ([Terra Repository](https://terrapkg.com/)): [`bsc`](https://github.com/terrapkg/packages/tree/frawhide/anda/buildsys/bsc) You can also use the [Repology search engine](https://repology.org/project/bluespec/versions) to check for Bluespec packages for your system.