|
|
927eb91933
|
move to nixpkgs-unstable 😭
|
2025-02-16 16:57:58 +01:00 |
|
|
|
56a7f015e3
|
Goodbye Agda
|
2024-12-21 01:05:37 +01:00 |
|
|
|
629829c2f9
|
bump nixpkgs-unstable input
|
2024-12-03 23:32:21 +01:00 |
|
|
|
5909cb0865
|
Update to release-24.11
|
2024-11-19 13:09:53 +01:00 |
|
|
|
8d18f3e348
|
Update nixpkgs-unstable
|
2024-10-16 19:07:47 +02:00 |
|
|
|
be6f87025b
|
Add nixpkgs-unstable input
|
2024-09-16 14:23:21 +02:00 |
|
|
|
29939b2b63
|
Build agda from source, install emacs lmao
|
2024-09-15 23:21:13 +02:00 |
|
|
|
c07021b9e0
|
Update nixpkgs
|
2024-07-09 18:12:15 +02:00 |
|
|
|
e2049d9ad1
|
Asahi configuration
|
2024-06-27 11:24:25 +02:00 |
|
|
|
3bafc3e76d
|
Merge remote-tracking branch 'catboy/main'
|
2024-06-23 22:53:17 +02:00 |
|
|
|
5a9932ad94
|
Bring fox keyboard layout from upstream, remove rachel dependency. Split fox layout into one file for symbols, one for types, switch alt and alt-gr
|
2024-06-23 22:46:52 +02:00 |
|
|
|
d66439f80f
|
Update kakoune and lsp
|
2024-06-12 22:09:20 +02:00 |
|
|
|
c501caea6a
|
Update to nixpkgs 24.05, make sure everything is running the same version of python
|
2024-06-03 00:00:09 +02:00 |
|
|
|
94629e2f35
|
Update nixpkgs version
|
2024-02-08 18:27:39 +01:00 |
|
|
|
75ff74b1df
|
Update kak-tree
|
2023-12-21 14:16:29 +01:00 |
|
|
|
0ddfd25c7b
|
Update kak-tree and config
|
2023-11-13 09:48:08 +01:00 |
|
|
|
f52f28b84e
|
Add kakrc for kak-tree
|
2023-11-12 23:08:20 +01:00 |
|
|
|
14d79d3134
|
kak-tree
|
2023-11-12 12:44:07 +01:00 |
|
|
|
76aff0d0e4
|
Add fox layout
|
2023-10-27 23:40:45 +02:00 |
|
|
|
0f7d8ffb33
|
Add darwin-configuration, update lockfile
|
2023-10-19 01:01:59 +02:00 |
|
|
|
ccff3036c3
|
configure home
|
2023-10-12 22:51:18 +02:00 |
|
