diff options
| author | John Soo <jsoo1@asu.edu> | 2020-03-29 02:18:56 -0700 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-04-02 20:55:14 +0200 |
| commit | 5bd5d6ef2d42367398176aea87fe6a1fe61ab198 (patch) | |
| tree | 4b838fbfc6e83970b19db8582bcc3ba21f7079b4 /gnu/packages/ncurses.scm | |
| parent | a6ac679f0a5556ad301e6f59755ec1886833ba82 (diff) | |
| download | guix-5bd5d6ef2d42367398176aea87fe6a1fe61ab198.tar.gz guix-5bd5d6ef2d42367398176aea87fe6a1fe61ab198.zip | |
gnu: proof-general: Update to 4.4.
* gnu/packages/coq.scm (proof-general): Update to 4.4.
[source]: Change to GIT-FETCH.
[arguments]: Remove obsolete substitutions.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
Diffstat (limited to 'gnu/packages/ncurses.scm')
0 files changed, 0 insertions, 0 deletions