config.nix
|
Disable checkMeta by default again.
|
2022-10-02 14:28:40 +02:00 |
coq-packages.nix
|
Split coqPackages.mathcomp-analysis
|
2022-09-26 09:46:37 +02:00 |
ocaml-packages.nix
|
ocamlPackages.mimic: 0.0.4 -> 0.0.5
|
2022-09-21 22:22:26 +02:00 |
php-packages.nix
|
Merge master into staging-next
|
2022-08-30 00:03:00 +00:00 |
qt6-packages.nix
|
qt6Packages.kcoreaddons: init
|
2022-09-17 20:51:50 +08:00 |