nixpkgs/pkgs/top-level
Gabriel Ebner 7fb27d1c22
Merge pull request #153190 from jvanbruegge/isabelle-vampire
isabelle: Use vampire and eprover from nixpkgs
2022-01-02 22:56:09 +01:00
..
agda-packages.nix Merge pull request #98214 from turion/dev_test_all_agda_packages 2021-10-19 09:56:50 +02:00
aliases.nix terraform-providers: remove archived providers (#153015) 2022-01-02 13:02:00 +01:00
all-packages.nix Merge pull request #153190 from jvanbruegge/isabelle-vampire 2022-01-02 22:56:09 +01:00
beam-packages.nix elixir_1_13: init (#148619) 2021-12-07 01:07:01 +09:00
config.nix
coq-packages.nix coqPackages.mathcomp-word: init at 1.0 2021-12-24 11:59:00 +01:00
cubocore-packages.nix CuboCore.packages: added 2021-10-20 22:35:34 +07:00
darwin-packages.nix
default.nix
dhall-packages.nix dhallPackages.generateDhallDirectoryPackage: init 2021-12-07 13:36:19 +09:00
dotnet-packages.nix buildDotnetPackage: rename baseName to pname 2021-12-23 22:46:35 +01:00
emacs-packages.nix emacsPackages.orgPackages: deprecated 2021-12-02 16:16:59 +08:00
emscripten-packages.nix treewide: pkgs/**.nix: remove trailing whitespaces 2021-10-04 02:13:08 +08:00
gnuradio-packages.nix gnuradioPackages.grnet: init at unstable 2021-12-09 07:13:38 +08:00
haskell-packages.nix Merge remote-tracking branch 'origin/master' into haskell-updates 2021-11-25 09:28:37 +01:00
haxe-packages.nix
impure.nix top-level/impure.nix: refactor by removing 'with builtins' 2021-12-16 18:46:43 +02:00
java-packages.nix OpenJDK: expose more versions 2021-12-02 17:54:20 -08:00
kodi-packages.nix kodi: move kodi-packages/ to kodi/addons/ 2021-12-18 22:34:47 -03:00
linux-kernels.nix asus-ec-sensors: init at 2021-12-16 (#150989) 2021-12-20 10:48:08 +00:00
lua-packages.nix luaPackages.luarocks-3_7: init so that the reverted update can be accessed if desired 2021-10-16 20:57:36 +02:00
make-tarball.nix
metrics.nix Revert "metrics: drop requiredSystemFeatures; /cc #76776" 2021-11-14 11:35:51 +01:00
nim-packages.nix Remove nimPackages.python 2021-12-17 11:13:35 +00:00
nixpkgs-basic-release-checks.nix nixpkgs-basic-release-checks: check for use of url literals 2021-11-10 15:47:18 +01:00
ocaml-packages.nix stog: 0.18.0 → 0.20.0 2021-12-30 08:23:22 +01:00
octave-packages.nix arduino: use buildFHSUserEnv to support compilation of boards (#144772) 2021-12-06 11:06:39 -05:00
packages-config.nix packages-config.nix: make sure all GHCs are added to packages.json 2021-12-22 22:07:00 +01:00
perl-packages.nix Merge pull request #150538 from stigtsp/package/convos-6.40 2021-12-28 01:06:16 +00:00
php-packages.nix Merge pull request #147411 from drupol/php/php-8.1.0 2021-12-21 12:33:07 +01:00
pure-packages.nix
python2-packages.nix python2Packages: remove superfluous overrides 2022-01-01 02:10:53 +01:00
python-aliases.nix python3Packages.xenomapper: move to top-level 2022-01-01 02:09:11 +01:00
python-packages.nix Merge pull request #153120 from fabaff/bump-meshtastic 2022-01-02 20:57:14 +01:00
qt5-packages.nix qt5ct: move to qt5-packages 2021-12-27 11:03:07 -03:00
release-alternatives.nix
release-cross.nix Merge pull request #147605 from sternenseemann/cross-jobset-extension 2021-12-09 17:12:36 +00:00
release-haskell.nix release-haskell.nix: GHC 9.2.1 is a released compiler 2021-12-21 16:12:21 +01:00
release-lib.nix
release-python.nix release-python.nix: add aarch64-linux 2021-10-11 01:22:09 +02:00
release-r.nix top-level/release-r.nix: disable x86_64-darwin 2021-11-02 06:53:13 +11:00
release-small.nix treewide: yank wicd as it is abandoned 2021-09-11 23:46:52 +02:00
release.nix Merge branch 'master' into staging-next 2021-12-12 00:00:04 -05:00
ruby-packages.nix rubyPackages: update 2021-12-10 04:20:00 +00:00
splice.nix top-level: add depsHostHost splicing 2021-12-02 17:22:54 -08:00
stage.nix pkgs/top-level/stage: format trivialBuilders import 2021-11-08 09:33:34 -08:00
unixtools.nix
wine-packages.nix wine{,64,Wow}Packages: add {stable,unstable,staging}Full 2021-11-06 17:03:57 +10:00