Age | Commit message (Collapse) | 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 | |
agda-stdlib-1.7: remove package | |||
2023-05-13 | libspf2: fix broken build | Chloe Brown | |
2023-04-26 | agda-categories: bump version. | Chloe Brown | |
Upstream have stopped packaging an Everything file. Because guix strips the git information from the source, the file has to be created manually. In future, this should be converted into a build phase. | |||
2023-01-20 | agda-soas: new package. | Chloe Brown | |
This only packages the library, not the code generator. | |||
2022-09-09 | linuxconsole-tools: new package. | Chloe Brown | |
2022-07-01 | Add native compilation to emacs. | Chloe Brown | |
Credit to Andrew Whatson for doing all the work. (https://github.com/flatwhatson/guix-channel) | |||
2022-05-05 | Add vosk and nerd-dictation for text-to-speech. | Chloe Brown | |