Jean-Pierre De Jesus DIAZ
|
bf1e063be3
|
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>
|
2024-06-23 11:48:40 +02:00 |
|