[bug#31774] [PATCH 07/22] gnu: Add java-qdox.

guix-patches

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#31774] [PATCH 07/22] gnu: Add java-qdox.

From:	Danny Milosavljevic
Subject:	[bug#31774] [PATCH 07/22] gnu: Add java-qdox.
Date:	Sun, 10 Jun 2018 17:19:00 +0200

> +              ;; FIXME: The release at maven is pre-generated. The release at
> +              ;; github requires jflex.

That's fine.  I'd say "Note" instead of "FIXME" then.  There are other packages
where we use a specific server for similar reasons, and it's not bad.

LGTM!

pgpOQ4umxaK8Q.pgp
Description: OpenPGP digital signature

[Prev in Thread]

Current Thread

[Next in Thread]

[bug#31774] [PATCH 12/22] gnu: Add maven-core., (continued)

Prev by Date: [bug#31774] [PATCH 06/22] gnu: Add java-plexus-cli.
Next by Date: [bug#31774] [PATCH 09/22] gnu: Add maven-core-bootstrap.
Previous by thread: [bug#31774] [PATCH 07/22] gnu: Add java-qdox.
Next by thread: [bug#31774] [PATCH 13/22] gnu: Add maven-embedder.
Index(es):
- Date
- Thread