diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-08 02:00:02 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-08 02:00:00 +0200 |
| commit | 2c67e1cfbf5dc4c528f9ddb5dce843bd8326cdab (patch) | |
| tree | efc1b1a2a5b0be7c6702d3d8a8aa8f409292e61f /gnu/system/locale.scm | |
| parent | 388e0390441ca7a8e8a57e71d92e6f963f07af9f (diff) | |
gnu: agda: Update to 2.6.2.2.
* gnu/packages/agda.scm (agda): Update to 2.6.2.2.
Diffstat (limited to 'gnu/system/locale.scm')
0 files changed, 0 insertions, 0 deletions