agda-packages.nix
|
agdaPackages.generics: init at 1.0.1
|
2024-07-01 17:11:41 +02:00 |
aliases.nix
|
Merge pull request #314130 from newAM/probe-run
|
2024-07-10 18:39:49 +08:00 |
python-aliases.nix
|
python312Packages.pynose: drop
|
2024-07-09 17:27:18 +02:00 |
python-packages.nix
|
materialx: move to python3Packages
|
2024-07-09 23:56:03 -07:00 |