summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2022-04-06Add customisable README and Everything locations.Chloe Brown
2022-04-06Correct subtle errors in Agda build system.Chloe Brown
2022-02-18services: mako: fix broken config fileChloe Brown
2022-02-12services: mako: pass a list to filterChloe Brown
2022-02-12services: mako: fix problem with profile extensionChloe Brown
2022-02-12services: mako: new serviceChloe Brown
2022-01-25services: spotifyd: fix misplaced bracketChloe Brown
2022-01-25crates-io: reorder packages.Chloe Brown
2022-01-23services: spotifyd-service-type: new serviceChloe Brown
2022-01-18spotifyd: remove reference to rust version.Chloe Brown
2022-01-18spotifyd: new packageChloe Brown
2022-01-15services: pam-mount: fix module nameChloe Brown
2022-01-15Add patched version of pam-mount.Chloe Brown
2022-01-10swaylock-pam: Add pam to swaylockChloe Brown
2022-01-06build: agda-build-system: ensure all packages have a nameChloe Brown
2022-01-05agda-categories: remove unnecessary version suffixChloe Brown
2022-01-05agda-categories: new packageChloe Brown
2022-01-05agda-stdlib: add version 1.7Chloe Brown
2022-01-05build-system: create agda-build-systemChloe Brown
2022-01-04services: btrfs: add snapshot servicesChloe Brown
2021-12-29services: rtkit: add polkit extensionChloe Brown
2021-12-29services: separate rtkit from pipewireChloe Brown
2021-12-29service: rtkit: add system rtkit service.Chloe Brown
2021-12-29rtkit: correct path of dbus rulesChloe Brown
2021-12-29all: fix lint issuesChloe Brown
2021-12-29rtkit: new package.Chloe Brown
2021-12-27agda-stdlib: fix destination of `.agdai` files.Chloe Brown
2021-12-27agda-stdlib: fix incorrect build orderChloe Brown
2021-12-27agda-stdlib: fix missing `.agdai` files.Chloe Brown
2021-12-27agda-stdlib: Move docs from `out` to `doc`.Chloe Brown
2021-12-26agda-stdlib: initial commitChloe Brown
2021-12-26Add channel authentication.Chloe Brown
2021-12-26Define PipeWire home services.Chloe Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-05-01 10:01:03 +0000