Log of gnu/packages/patches/agda-libdirs-env-variable.patch
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| 7a00ab05 | gnu: agda: Add AGDA_LIBDIRS search-path. | Josselin Poiret | 2023-06-04 08:59 |
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| 7a00ab05 | gnu: agda: Add AGDA_LIBDIRS search-path. | Josselin Poiret | 2023-06-04 08:59 |