|
|
18527f0f3a
|
mouse settings
|
2024-08-25 17:53:55 +02:00 |
|
|
|
923cf653ff
|
agda bump
|
2024-08-23 22:07:47 +02:00 |
|
|
|
6aeadc9e19
|
bump plasma manager
|
2024-07-27 22:44:09 +02:00 |
|
|
|
360c718bef
|
bump plasma manager
|
2024-07-16 17:10:57 +02:00 |
|
|
|
a457100930
|
revert silly
|
2024-07-12 13:30:11 +02:00 |
|
|
|
fe5654ceec
|
lix
|
2024-07-10 19:10:18 +02:00 |
|
|
|
df0eb6c347
|
nixprof
|
2024-07-03 19:13:15 +02:00 |
|
|
|
2a8d033f7d
|
bump flake
|
2024-06-25 13:57:09 +02:00 |
|
|
|
791d65a78d
|
plasma manager
|
2024-06-25 12:11:51 +02:00 |
|
|
|
fac169231c
|
refactor :)
|
2024-06-24 21:53:35 +02:00 |
|
|
|
9467e4cb8a
|
24.05
|
2024-06-04 00:26:34 +02:00 |
|
|
|
e51088400f
|
add unstable packages
|
2024-04-19 15:24:00 +02:00 |
|
|
|
1de7b6e5b9
|
update lock
|
2024-04-19 15:16:45 +02:00 |
|
|
|
081d5068c2
|
slippi netplay
|
2024-03-05 20:44:23 +01:00 |
|
|
|
965fa89ab9
|
cornelis update
|
2024-02-10 14:51:44 +01:00 |
|
|
|
bfd300de9e
|
updated nixpkgs
|
2024-02-06 16:31:04 +01:00 |
|
|
|
4d191d9a30
|
lean
|
2024-01-20 20:43:40 +01:00 |
|
|
|
08b393988f
|
fix cornelis being weird
|
2023-12-01 19:48:02 +01:00 |
|
|
|
55d22acb4f
|
switch to 23.11
|
2023-12-01 18:16:14 +01:00 |
|
|
|
485a6fcd5f
|
update lockfile
|
2023-10-15 21:52:21 +02:00 |
|
|
|
4f65cde626
|
add agda as flake
|
2023-10-12 23:24:36 +02:00 |
|
|
|
f6f49c964d
|
cornelis for agda mode in neovim
|
2023-10-06 12:01:35 +02:00 |
|
|
|
99232cfe9f
|
remove julia2nix
|
2023-10-06 01:12:55 +02:00 |
|
|
|
6cc6bd37cc
|
julia2nix
|
2023-09-12 21:36:52 +02:00 |
|
|
|
5817aafd3b
|
updated nixpkgs version
|
2023-09-01 10:45:09 +02:00 |
|
|
|
a123f87b22
|
switch to flake based config
|
2023-07-31 14:18:24 +02:00 |
|
