a name='robots' content='noindex, nofollow'/>
Age | Commit message (Expand) | Author |
2023-11-30 | gnu: Add plasp....* gnu/packages/patches/plasp-fix-normalization.patch: New file.
* gnu/packages/patches/plasp-include-iostream.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register them here.
* gnu/packages/potassoc.scm (plasp): New variable.
Change-Id: I0d8d64153b180a7d1d8d81888f843458efdf5e51
| Liliana Marie Prikler |
2023-11-23 | gnu: Add clingo-dl....* gnu/packages/potassco.scm (clingo-dl): New variable.
Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd
| Liliana Marie Prikler |