diff options
| author | David Thompson <dthompson2@worcester.edu> | 2024-07-18 16:43:32 -0400 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2024-07-19 12:41:20 -0400 |
| commit | 1e918509ab4660391624069b9e610cfbefec00c5 (patch) | |
| tree | 18573f02b6a3ef578dda89f6e5793c1ff052763e /gnu/packages/lean.scm | |
| parent | 9724e61cda80e4c59a2eb419a453887ecc551b9a (diff) | |
| download | guix-1e918509ab4660391624069b9e610cfbefec00c5.tar.gz guix-1e918509ab4660391624069b9e610cfbefec00c5.zip | |
gnu: shepherd 0.9: Switch from guile-3.0-latest to guile-3.0.
* gnu/packages/admin.scm (shepherd-0.9)[native-inputs]: Use guile-3.0.
[inputs]: Ditto.
Change-Id: I7f7efabc43e11e413300c6aa4c22919070d22389
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions