coq-packages.nix
|
coqPackages.VST: 2.12 → 2.13
|
2023-11-27 03:57:47 +01:00 |
nim-overrides.nix
|
snekim: build with lockfile
|
2023-11-28 16:48:10 +02:00 |
php-packages.nix
|
phpspy: init at 0.6.0
|
2023-11-29 10:28:13 +01:00 |
ruby-packages.nix
|
rubyPackages: update
|
2023-11-30 04:20:00 +00:00 |