diff options
| author | John Soo <jsoo1@asu.edu> | 2020-03-29 02:26:46 -0700 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-04-02 20:55:14 +0200 |
| commit | 53eaf69d6dd09208455f1645e8c8fe62a50b527d (patch) | |
| tree | 0eaaaa0b538147c0d7ee69f3ce0c3ad7be5c1028 /doc/guix.texi | |
| parent | 5bd5d6ef2d42367398176aea87fe6a1fe61ab198 (diff) | |
| download | guix-53eaf69d6dd09208455f1645e8c8fe62a50b527d.tar.gz guix-53eaf69d6dd09208455f1645e8c8fe62a50b527d.zip | |
gnu: proof-general: Update home-page.
* gnu/packages/coq.scm (proof-general):[home-page] update to proofgeneral.github.io
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
Diffstat (limited to 'doc/guix.texi')
0 files changed, 0 insertions, 0 deletions