[Top][All Lists]

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

bug#34299: [PATCH] gnu: Add coq-autosubst

From: Julien Lepiller
Subject: bug#34299: [PATCH] gnu: Add coq-autosubst
Date: Thu, 7 Feb 2019 22:35:38 +0100

pushed with some changes as 7d60df330aa165982abd31c8483651788fdf49b9:

I've added a copyright line for you at the top of the file.
I've added (guix git-download) to the list of imported modules.
I've replace bsd-3 with license:bsd-3.
I've modified the synopsis so it doesn't start with "A".
I've modified the description so it doesn't say "we".
I've moved some fields around so they look more like other packages.

Thank you again for the patch!

reply via email to

[Prev in Thread] Current Thread [Next in Thread]