diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-11-16 19:27:33 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-11-23 09:29:05 +0100 |
| commit | 5023424f16029ed8e24dc2b2ba8eba5812ece26b (patch) | |
| tree | d5db297c8c92c3ba5570e113711de5fb37aace39 /gnu/services/docker.scm | |
| parent | 540f248c51a1950dc4b0b8430edf05ac7b6f4394 (diff) | |
gnu: Add clingo-dl.
* gnu/packages/potassco.scm (clingo-dl): New variable.
Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd
Diffstat (limited to 'gnu/services/docker.scm')
0 files changed, 0 insertions, 0 deletions