diff options
| author | Josselin Poiret <[email protected]> | 2024-09-11 11:57:32 +0200 |
|---|---|---|
| committer | Josselin Poiret <[email protected]> | 2024-10-12 11:02:51 +0200 |
| commit | a531af142ffdb2a31cf9e6258c336fcf2dbe755b (patch) | |
| tree | 9071952a4df685f2120cfd40970b687586f48fd8 /gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch | |
| parent | b7a4ce82ec246a17d7f53d6fba34b14863858ea0 (diff) | |
gnu: lablgtk: Remove variable.
* gnu/packages/ocaml.scm (lablgtk): Package is no longer used as a dependency.
Change-Id: I7e3d1e5c0bd65a4938b0e08012094603d9d55cc5
Diffstat (limited to 'gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch')
0 files changed, 0 insertions, 0 deletions