We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1420433 commit 247552eCopy full SHA for 247552e
docs/source/install.rst
@@ -54,7 +54,7 @@ firedrake-configure
54
To simplify the installation process, Firedrake provides a utility script called
55
``firedrake-configure``. This script can be downloaded by executing::
56
57
- $ curl -O https://raw.githubusercontent.com/firedrakeproject/firedrake/refs/tags/2025.4.1/scripts/firedrake-configure
+ $ curl -O https://raw.githubusercontent.com/firedrakeproject/firedrake/refs/tags/2025.4.2/scripts/firedrake-configure
58
59
Unlike the now deprecated ``firedrake-install`` script, ``firedrake-configure``
60
**does not install Firedrake for you**. It is simply a helper script that emits
0 commit comments