| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-06-23 | gnu: coq-autosubst: Fix Coq 8.19 compatibility. | Jean-Pierre De Jesus DIAZ | |
| * 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> | |||
 |
index : guix | |
| Personal fork of GNU Guix |
| summaryrefslogtreecommitdiff |