diff options
| -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 |