diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-06-18 07:45:26 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-06-18 13:15:09 +0200 |
| commit | a24dbd25eb39a1823be48774f06124c181db679f (patch) | |
| tree | 14901beb005320a56139b0ddc718781103f5d9d3 /gnu/packages/scheme.scm | |
| parent | eb5df275ce74f18994bd60d05f295fa2c5c6ce89 (diff) | |
gnu: coq: Update to 8.15.2.
* gnu/packages/coq.scm (coq-core): Update to 8.15.2.
Diffstat (limited to 'gnu/packages/scheme.scm')
0 files changed, 0 insertions, 0 deletions