Subject: Re: [bug#32263] [PATCH 8/8] gnu: Add fdroidserver.

From: [email-masked] (Ludovic Courtès)
Date: Sun, 29 Jul 2018 15:45:51 +0200

Efraim Flashner <[email-masked]> skribis:

> * gnu/packages/android.scm (fdroidserver): New variable.

[...]

> +    (home-page "https://f-droid.org")
> +    (synopsis "F-Droid Server Tools")

“F-Droid server tools”

> +    (description
> +     "The F-Droid server tools provide various scripts and tools that are used
> +to maintain the main F-Droid application repository.
               ^-------------------------------------^
“F-Droid, the repository of free Android applications.”

Otherwise LGTM.

Thank you for this whole series!  Would be fun to have an F-Droid server
running on GuixSD.  :-)

Ludo’.