diff --git a/doc/installation.md b/doc/installation.md
index 571f8c3..367dfc7 100644
--- a/doc/installation.md
+++ b/doc/installation.md
@@ -28,12 +28,6 @@ pip install -e ".[dev]"
 pre-commit install
 ```
 
-Manta's hardware-in-the-loop tests rely on Amaranth's build system for programming FPGAs, which in turn relies on the `amaranth-boards` Python package. This package is not available on PyPI, and must be installed manually with:
-
-```bash
-pip install git+https://github.com/amaranth-lang/amaranth-boards.git
-```
-
 The build system also uses the open-source `xc3sprog` and `iceprog` tools for programming Xilinx and ice40 devices, respectively. If you'd like to run these tests locally, you may need to install these tools and have them available on your `PATH`.
 
 If you're on Linux, you may also need to add a new udev rule to give non-superuser accounts access to any connected FTDI devices. This can be done by making a new file at `/etc/udev/rules.d/99-ftdi-devices.rules`, which contains:
diff --git a/pyproject.toml b/pyproject.toml
index e9ba7e0..0b95225 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -28,6 +28,7 @@ dev = [
   "mkdocs-material",
   "mkdocstrings[python]",
   "mike",
+  "amaranth-boards~=0.0.0",
 ]
 
 [project.urls]