summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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