aliases.nix
|
libtorrentRasterbar-1_1_x: remove
|
2022-09-26 12:29:05 +00:00 |
all-packages.nix
|
Merge pull request #193110 from figsoda/agg
|
2022-09-27 22:22:30 -04:00 |
config.nix
|
check-meta.nix: type checking changes
|
2022-09-25 16:37:15 +02:00 |
coq-packages.nix
|
Split coqPackages.mathcomp-analysis
|
2022-09-26 09:46:37 +02:00 |