|
|
28df5a17b8
|
isabelle → isabelle-upstream
|
2025-04-21 13:54:53 +02:00 |
|
|
|
428b2430ef
|
replace "pkgs" arguments with individual packages
|
2025-04-20 09:57:40 +02:00 |
|
|
|
b32e181094
|
new pragmatapro release
|
2025-04-18 18:29:31 +02:00 |
|
|
|
51efb95a1e
|
agda-prelude-niss
|
2025-04-14 20:41:00 +02:00 |
|
|
|
66178011aa
|
update readme
|
2025-04-05 00:08:49 +02:00 |
|
|
|
f970c6621a
|
justStaticExecutables
|
2025-04-05 00:04:45 +02:00 |
|
|
|
3c03898977
|
add ips package
|
2025-04-04 23:49:39 +02:00 |
|
|
|
1ccbf13a31
|
move script descriptions to readme
|
2025-04-02 21:28:41 +02:00 |
|
|
|
1dde09e276
|
make the scripts executable
|
2025-04-02 19:17:28 +02:00 |
|
|
|
1647556eb0
|
more fixes that only surface when used lol
|
2025-04-02 19:08:27 +02:00 |
|
|
|
c35a67f490
|
oops
|
2025-04-02 19:02:01 +02:00 |
|
|
|
4a9e524f66
|
add silly little scripts
|
2025-04-02 19:01:56 +02:00 |
|
|
|
e616d19a15
|
flake.nix refactor
|
2025-04-02 18:41:55 +02:00 |
|
|
|
1750b315b4
|
readme
|
2025-03-03 23:05:11 +01:00 |
|
|
|
bf3111d84f
|
add inkscape-xwayland
|
2025-03-03 22:38:56 +01:00 |
|
|
|
5323992f5b
|
first
|
2025-03-03 22:34:32 +01:00 |
|
