diff options
| author | Guillaume Le Vaillant <glv@posteo.net> | 2020-05-11 13:31:16 +0200 |
|---|---|---|
| committer | Guillaume Le Vaillant <glv@posteo.net> | 2020-05-11 13:33:25 +0200 |
| commit | 232f2d2634074201967a47935aa80665cc5e6bbe (patch) | |
| tree | 7a588831f087db27ac9f7016ced6c8e17f318900 /gnu/packages/agda.scm | |
| parent | cef0e08c235d1eb9943571648ef57a59041bb292 (diff) | |
| download | patches-232f2d2634074201967a47935aa80665cc5e6bbe.tar patches-232f2d2634074201967a47935aa80665cc5e6bbe.tar.gz | |
gnu: Add rtl-443.
* gnu/packages/radio.scm (rtl-433): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions