From 48dbd86086cf3fa3fb9d742fcb01cdd2f88f5bcf Mon Sep 17 00:00:00 2001
From: Owen Zimmerman <123591347+Owen-sz@users.noreply.github.com>
Date: Sun, 14 Jun 2026 02:32:34 -0500
Subject: [PATCH] docs: add Fedora package install option through Terra
 repository

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

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.