coq-packages.nix
|
coqPackages.LibHyps: init at 2.0.4.1
|
2022-02-20 14:14:40 +01:00 |
ocaml-packages.nix
|
ocaml: default to version 4.13
|
2022-03-04 16:09:07 +01:00 |
php-packages.nix
|
php.packages.grumphp: init at 1.8.1
|
2022-03-01 08:07:12 +01:00 |
wine-packages.nix
|
wine: enable Vulkan on Darwin
|
2022-02-18 15:20:34 -05:00 |