path: root/doc/install/prokit.mdwn
diff options
authorP. J. McDermott <pehjota>2015-07-09 13:19:59 (EDT)
committer P. J. McDermott <>2015-07-09 13:19:59 (EDT)
commit6cdcdb5bc9a8b0050667d657df920e7aceea57bc (patch)
tree1d5871bf8dbd4eebb1ac367448f2cc63504cf57a /doc/install/prokit.mdwn
parent3e846ffabd1da6ec17c783fed8ca403fab7a9825 (diff)
doc/install/prokit: Mention AUR packages
Diffstat (limited to 'doc/install/prokit.mdwn')
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]
Building the ProteanOS Development Kit