diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-06-17 14:25:35 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2024-06-23 11:48:40 +0200 |
| commit | bf1e063be350c611022c1430f3a7f1f42005de7f (patch) | |
| tree | 00a36fc94466a71e8cf7adcef6db6d3b81d86ba9 /README | |
| parent | 11c403ec0554be0e1c888ec6f8147a232e09adbd (diff) | |
| download | guix-bf1e063be350c611022c1430f3a7f1f42005de7f.tar guix-bf1e063be350c611022c1430f3a7f1f42005de7f.tar.gz | |
gnu: coq-autosubst: Fix Coq 8.19 compatibility.
* gnu/packages/patches/coq-autosubst-1.8-remove-deprecated-files.patch:
New patch.
* gnu/local.mk (dist_patch_DATA): Register patch.
* gnu/packages/coq.scm (coq-autosubst)<source>: Use Coq 8.19
compatibility patch.
Change-Id: Ib705c92b5605c6b679224f471ff12c018842c006
Signed-off-by: Andreas Enge <andreas@enge.fr>
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions