3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/top-level
Sandro 0311a5a0af
Merge pull request #157629 from 1000teslas/isabelle
isabelle: make closer to upstream
2022-04-20 19:46:16 +02:00
..
agda-packages.nix
aliases.nix ping: add throw 2022-04-18 21:34:19 +08:00
all-packages.nix Merge pull request #157629 from 1000teslas/isabelle 2022-04-20 19:46:16 +02:00
beam-packages.nix
config.nix config.allowAliases: Define as option 2022-04-01 11:33:10 +02:00
coq-packages.nix coqPackages.smtcoq: init at itp22 2022-04-13 19:38:01 -05:00
cubocore-packages.nix
cuda-packages.nix cudaPackages: overhaul of how we package cuda packages 2022-04-09 08:50:22 +02:00
darwin-packages.nix
default.nix
dhall-packages.nix
dotnet-packages.nix
emacs-packages.nix
emscripten-packages.nix treewide: move autoconf, automake to nativeBuildInputs 2022-03-30 20:17:24 -05:00
gnuradio-packages.nix
haskell-packages.nix
haxe-packages.nix
impure.nix
java-packages.nix Merge remote-tracking branch 'origin/master' into mvn 2022-03-21 18:37:45 -04:00
kodi-packages.nix config.allowAliases: Define as option 2022-04-01 11:33:10 +02:00
linux-kernels.nix treewide: remove obsolete kernel version checks 2022-04-08 09:56:09 +00:00
lua-packages.nix luarocks: 3.2 -> 3.8 2022-03-29 03:27:53 +02:00
make-tarball.nix
metrics.nix
nim-packages.nix
nixpkgs-basic-release-checks.nix
ocaml-packages.nix ocamlPackages.pure-splitmix: init at 0.3 2022-04-20 11:37:19 +02:00
octave-packages.nix
packages-config.nix emacs: 27.2 -> 28.1 2022-04-16 16:53:45 +12:00
perl-packages.nix Merge pull request #166792 from hercules-ci/pkgs-config-allowAliases-option 2022-04-04 21:09:44 +02:00
php-packages.nix Merge pull request #162376 from shayne/master 2022-04-08 11:10:36 +02:00
python-aliases.nix python3Packages.kbcstorage: rename from sapi-python-client; fix build 2022-04-20 02:46:52 +02:00
python-packages.nix python310Packages.pixcat: init at 0.1.4 (#162556) 2022-04-20 19:17:17 +02:00
python2-packages.nix pythonPackages.cryptography-vectors: make internal to cryptography 2022-03-27 16:08:55 +02:00
qt5-packages.nix libsForQt5.qca-qt5_2_3_2: init at 2.3.2 2022-04-13 11:37:59 -04:00
release-alternatives.nix
release-cross.nix
release-cuda.nix cudaPackages: overhaul of how we package cuda packages 2022-04-09 08:50:22 +02:00
release-haskell.nix naproche: add to release-haskell.nix 2022-04-20 09:56:35 +02:00
release-lib.nix
release-python.nix
release-r.nix
release-small.nix release-small: replace ssmtp package use with msmtp 2022-04-17 00:44:50 +02:00
release.nix
ruby-packages.nix rubyPackages: add pandocomatic (#164545) 2022-04-14 05:39:57 -05:00
splice.nix
stage.nix config.allowAliases: Define as option 2022-04-01 11:33:10 +02:00
unixtools.nix unixtools: Fix nix run nixpkgs#unixtools.<cmd> 2022-03-27 14:55:17 +11:00
wine-packages.nix