Age | Commit message (Expand) | Author |
---|---|---|
2024-10-25 | idris2: update git revision. | Chloe Brown |
2024-09-09 | network-manager-l2tp: new package | Chloe Brown |
2024-08-23 | [chore] fix lint errors in linux. | Chloe Brown |
2024-08-02 | wihotspot: new package | Chloe Brown |
2023-05-13 | agda-soas: remove package | Chloe Brown |
2023-05-13 | libspf2: fix broken build | Chloe Brown |
2023-04-26 | agda-categories: bump version. | Chloe Brown |
2023-01-20 | agda-soas: new package. | Chloe Brown |
2022-09-09 | linuxconsole-tools: new package. | Chloe Brown |
2022-07-01 | Add native compilation to emacs. | Chloe Brown |
2022-05-05 | Add vosk and nerd-dictation for text-to-speech. | Chloe Brown |