diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-11-28 17:41:19 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-11-30 03:19:33 +0100 |
| commit | 189501bf3b8facced98f08e73b7cdb83ec7a272b (patch) | |
| tree | b522de8a6fce40a5a2b69c3956a709e36650018f /gnu/local.mk | |
| parent | bcd4c7ae6a8e8374cc75a5daf8e8b27138dc162f (diff) | |
| download | guix-patches-189501bf3b8facced98f08e73b7cdb83ec7a272b.tar guix-patches-189501bf3b8facced98f08e73b7cdb83ec7a272b.tar.gz | |
gnu: proof-general: Update to latest commit.
* gnu/packages/coq.scm (proof-general): Update to latest commit.
[license]: Change to glp3+.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions