diff options
| author | P. J. McDermott <pehjota> | 2015-07-09 13:19:59 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-07-09 13:19:59 (EDT) |
| commit | 6cdcdb5bc9a8b0050667d657df920e7aceea57bc (patch) | |
| tree | 1d5871bf8dbd4eebb1ac367448f2cc63504cf57a /doc/install | |
| parent | 3e846ffabd1da6ec17c783fed8ca403fab7a9825 (diff) | |
doc/install/prokit: Mention AUR packages
Diffstat (limited to 'doc/install')
| -rw-r--r-- | doc/install/prokit.mdwn | 8 |
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 |