|
|
5e591b88fb
|
Merge branch 'main' of github.com:nmarks413/nix-config
|
2025-04-10 20:29:48 -07:00 |
|
|
|
361f9a7e63
|
test signing 2
|
2025-04-10 20:29:37 -07:00 |
|
|
|
81e27779d6
|
test signing 2
|
2025-04-10 20:07:05 -07:00 |
|
|
|
7c22b891ab
|
test signing
|
2025-04-10 20:04:30 -07:00 |
|
|
|
e430193714
|
Merge branch 'main' of github.com:nmarks413/nix-config
|
2025-04-01 16:53:55 -07:00 |
|
|
|
3451754834
|
add coq
|
2025-04-01 16:53:48 -07:00 |
|
|
|
19bceadaf6
|
meow meow
|
2025-04-01 16:53:29 -07:00 |
|
|
|
5acef4760c
|
make config work on macos
|
2025-03-31 13:37:38 -07:00 |
|
|
|
ed5b2071c5
|
refactor out common packages
|
2025-03-28 21:09:28 -07:00 |
|
