diff options
| author | Ricardo Wurmus <[email protected]> | 2024-05-09 00:01:01 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <[email protected]> | 2024-05-09 00:02:39 +0200 |
| commit | 9cf0f714636cb9a21875f15c0172211d7def661e (patch) | |
| tree | b973786b6d3152b512949939b714010557675eac /gnu/packages/patches/agda-libdirs-env-variable.patch | |
| parent | dc03e6ce50ba9d88b34685db886a3e994f99fc33 (diff) | |
import/cran: Use CRAN mirrors.
* guix/import/cran.scm (%cran-url): Use mirror URL instead of primary project
domain name.
Change-Id: I23a51147d785d6cb645f953ca5ce0ff72f8bd367
Diffstat (limited to 'gnu/packages/patches/agda-libdirs-env-variable.patch')
0 files changed, 0 insertions, 0 deletions