mirror of https://codeberg.org/anemofilia/zero
10 lines
207 B
Scheme
10 lines
207 B
Scheme
|
(use-modules (guix profiles)
|
||
|
(gnu packages idris)
|
||
|
(gnu packages emacs-xyz))
|
||
|
|
||
|
(packages->manifest
|
||
|
(list idris
|
||
|
idris-lightyear
|
||
|
idris-bifunctors
|
||
|
idris-lens))
|