diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-06-25 18:29:39 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-06-25 18:42:50 +0200 |
| commit | ee5f4690d35e7c609bca7f038df5780f2dc315d1 (patch) | |
| tree | 695a1ad35487d96bb0dea3546b8bd24427b6ab89 /gnu/packages/lean.scm | |
| parent | 76fbc25a94e2300bf009594397e6b9719b30be73 (diff) | |
| download | guix-ee5f4690d35e7c609bca7f038df5780f2dc315d1.tar.gz | |
gnu: Add dosbox-staging.
* gnu/packages/emulators.scm (dosbox-staging): New public variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions