aliases.nix
|
Merge master into staging-next
|
2022-09-27 12:01:17 +00:00 |
all-packages.nix
|
Merge staging-next into staging
|
2022-09-28 00:06:37 +00: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 |
python-packages.nix
|
Merge staging-next into staging
|
2022-09-27 12:01:45 +00:00 |