summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/install/prokit.mdwn8
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/install/prokit.mdwn b/doc/install/prokit.mdwn
index a9c0c84..efb94d0 100644
--- a/doc/install/prokit.mdwn
+++ b/doc/install/prokit.mdwn
@@ -37,9 +37,17 @@ Or clone it from the [Git repository][prokit-git]:
To install ProteanOS on a supported PC, currently you'll need to get prokit from
its Git repository.
+Users of Parabola GNU/Linux-libre and Arch [GNU/]Linux can find prokit packages
+in the AUR (thanks to Serge Victor):
+
+ * [prokit][aur-prokit]
+ * [prokit-git][aur-prokit-git]
+
[prokit-http]: http://files.proteanos.com/pub/prokit/
[prokit-ftp]: ftp://files.proteanos.com/pub/prokit/
[prokit-git]: http://git.proteanos.com/prokit/prokit.git/
+[aur-prokit]: https://aur4.archlinux.org/packages/prokit/
+[aur-prokit-git]: https://aur4.archlinux.org/packages/prokit-git/
Building the ProteanOS Development Kit