diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-01-06 12:45:26 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-01-06 16:27:31 +0100 |
| commit | 93e6a11994c48f2a0e42344e43490c9506468db9 (patch) | |
| tree | 884336009d40f2c013364ad1df0964ce2bb0d084 /gnu/packages/coq.scm | |
| parent | a21590dabfcef0aa008503ea981364b90750b07c (diff) | |
gnu: guile-next: Update to 3.0.7-d70c1db.
* gnu/packages/guile.scm (guile-next): Update to 3.0.7, commit d70c1db.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions