summaryrefslogtreecommitdiff
path: root/yellowsquid/packages/patches
AgeCommit message (Collapse)Author
2024-10-25idris2: update git revision.Chloe Brown
2024-09-09network-manager-l2tp: new packageChloe Brown
2024-08-23[chore] fix lint errors in linux.Chloe Brown
2024-08-02wihotspot: new packageChloe Brown
2023-05-13agda-soas: remove packageChloe Brown
agda-stdlib-1.7: remove package
2023-05-13libspf2: fix broken buildChloe Brown
2023-04-26agda-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-20agda-soas: new package.Chloe Brown
This only packages the library, not the code generator.
2022-09-09linuxconsole-tools: new package.Chloe Brown
2022-07-01Add native compilation to emacs.Chloe Brown
Credit to Andrew Whatson for doing all the work. (https://github.com/flatwhatson/guix-channel)
2022-05-05Add vosk and nerd-dictation for text-to-speech.Chloe Brown