meta: use amaranth-boards from PyPI, not git

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:

pyproject.toml

@@ -28,6 +28,7 @@ dev = [
   "mkdocs-material",
   "mkdocstrings[python]",
   "mike",
+  "amaranth-boards~=0.0.0",
 ]
 
 [project.urls]