diff options
| author | Arnaud Daby-Seesaram <ds-ac@nanein.fr> | 2024-06-18 11:08:44 +0200 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2024-06-26 15:16:43 +0100 |
| commit | b594c2b154b900a29855afc00a21306ab09a153d (patch) | |
| tree | f5db6aaf38ea80911001ecb9fe8be8cd44dd0e08 /TODO | |
| parent | da3e71f472c2335f56c3d07758715a514fdb3a9d (diff) | |
| download | guix-b594c2b154b900a29855afc00a21306ab09a153d.tar guix-b594c2b154b900a29855afc00a21306ab09a153d.tar.gz | |
gnu: proof-general: Update to 4.5@cb23709a.
* gnu/packages/coq.scm (proof-general): Update to 4.5@cb23709a.
Change-Id: Ieb33d8a0effa4c010d1f2488e166cd0647240180
Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions