diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-10-08 03:42:40 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-10-08 04:33:52 +0200 |
| commit | b1baba38c0dd37a44c0be901421431cbdcca21e5 (patch) | |
| tree | 806e0014d5a3e380214750ff7122685a5dc4d3f3 /HACKING | |
| parent | a0804f44456ee49e4c50130df0daf32aaf8f5281 (diff) | |
| download | guix-b1baba38c0dd37a44c0be901421431cbdcca21e5.tar.gz | |
gnu: coq: Add upstream-name.
This prevents an error on inherited packages when running the updater. * gnu/packages/coq.scm (coq)[properties]: Add upstream-name.
Diffstat (limited to 'HACKING')
0 files changed, 0 insertions, 0 deletions