| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-06-23 | 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> | Jean-Pierre De Jesus DIAZ |
 |
index : guix | |
| Wojtek's customized Guix |
| aboutsummaryrefslogtreecommitdiff |