Commit graph

Select branches

Hide pull requests

main

Mono Color

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