summaryrefslogtreecommitdiffstats
path: root/doc/install
diff options
context:
space:
mode:
authorP. J. McDermott <pehjota>2015-07-09 13:19:59 (EDT)
committer P. J. McDermott <pj@pehjota.net>2015-07-09 13:19:59 (EDT)
commit6cdcdb5bc9a8b0050667d657df920e7aceea57bc (patch)
tree1d5871bf8dbd4eebb1ac367448f2cc63504cf57a /doc/install
parent3e846ffabd1da6ec17c783fed8ca403fab7a9825 (diff)
doc/install/prokit: Mention AUR packages
Diffstat (limited to 'doc/install')
-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