diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-07-16 02:00:03 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-07-16 02:00:08 +0200 |
| commit | 03ae5bb866151de7c19561a7da6f477156e4b305 (patch) | |
| tree | d4f5219d28dd44712cf4f22575b0840e760d5373 /gnu/packages/agda.scm | |
| parent | b56fe521de9b8238839546f84abaebcada623d44 (diff) | |
gnu: foot: Update to 1.15.1.
* gnu/packages/terminals.scm (foot): Update to 1.15.1.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions