coq-packages.nix
|
coq_8_12: 8.12.0 → 8.12.1
|
2020-11-15 12:03:15 +01:00 |
darwin-packages.nix
|
darwin/apple-sdk: use darwin stubs
|
2020-11-12 00:23:09 +09:00 |
ocaml-packages.nix
|
ocamlPackages.odate: init at 0.6
|
2020-12-06 09:56:40 +01:00 |
php-packages.nix
|
php80: init at 8.0.0
|
2020-12-01 11:54:42 +01:00 |
release-small.nix
|
utillinux: rename to util-linux
|
2020-11-24 12:42:06 -05:00 |
stage.nix
|
tree-wide: do not use pkgs.extend in nixpkgs
|
2020-11-30 14:24:40 +01:00 |
unix-tools.nix
|
utillinux: rename to util-linux
|
2020-11-24 12:42:06 -05:00 |