[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!