Morgan Jones 64ac770c5a [Backport release-25.05] z3: 4.14.1 → 4.15.0, z3_4_14: drop (#409741)

2025-05-22 09:48:07 -07:00

..

pkg-config

defaultPkgConfigPackages.orte: drop

2025-05-04 16:23:00 +02:00

ada-packages.nix

…

agda-packages.nix

…

aliases.nix

z3_4_15: rename to z3

2025-05-22 11:46:42 +00:00

all-packages.nix

meilisearch_1_11: init at 1.11.3

2025-05-22 13:54:53 +00:00

beam-packages.nix

…

by-name-overlay.nix

…

config.nix

…

coq-packages.nix

coqPackages.metacoq: 1.3.4 -> 1.4

2025-05-12 09:28:51 +02:00

cubocore-packages.nix

…

cuda-packages.nix

tree-wide: cudaPackages.cudaFlags -> cudaPackages.flags

2025-05-12 19:36:34 +00:00

darwin-aliases.nix

darwin: lib.warn -> lib.warnOnInstantiate

2025-05-18 12:40:55 +00:00

darwin-packages.nix

Merge remote-tracking branch 'origin/master' into staging-next

2025-04-27 21:10:10 +03:00

default.nix

…

dhall-packages.nix

…

dotnet-packages.nix

dotnetPackages.{NewtonsoftJson,Paket}: remove env-vars from output

2025-05-01 17:58:49 +02:00

emacs-packages.nix

…

emilua-plugins.nix

…

emscripten-packages.nix

…

factor-packages.nix

…

gnuradio-packages.nix

…

hare-third-party.nix

…

haskell-packages.nix

haskell.compiler.ghc9102: init at 9.10.2

2025-05-11 00:17:44 +02:00

haxe-packages.nix

…

impure.nix

…

java-packages.nix

openjdk24: init at 24+36

2025-05-05 11:40:47 +02:00

kodi-packages.nix

kodi.packages.bluetooth-manager: init at 1.0.4

2025-05-02 12:55:41 +03:00

linux-kernels.nix

linux/hardened/patches/6.14: init at v6.14.6-hardened1

2025-05-20 15:04:37 +00:00

lua-packages.nix

…

make-tarball.nix

…

metrics.nix

…

nim-overrides.nix

…

nixpkgs-basic-release-checks.nix

…

ocaml-packages.nix

ocamlPackages.oidc: init at 0.2.0

2025-05-05 10:44:47 +02:00

octave-packages.nix

…

packages-config.nix

…

perl-packages.nix

perl540Packages.SDL: fix build

2025-05-17 11:11:40 +00:00

php-packages.nix

…

python2-packages.nix

…

python-aliases.nix

python3Packages.slimit: drop

2025-05-17 12:58:52 +00:00

python-packages.nix

python3Packages.auto-lazy-imports: init at 0.4.2

2025-05-19 22:57:54 +00:00

qt5-packages.nix

{libsForQt5,kdePackages}.qcustomplot: init at 2.1.1

2025-05-16 16:54:38 +08:00

qt6-packages.nix

{libsForQt5,kdePackages}.qcustomplot: init at 2.1.1

2025-05-16 16:54:38 +08:00

release-alternatives.nix

…

release-attrpaths-parallel.nix

…

release-attrpaths-superset.nix

…

release-cross.nix

…

release-cuda.nix

…

release-haskell.nix

Merge master into staging-next

2025-05-12 18:06:01 +00:00

release-lib.nix

…

release-outpaths.nix

workflows/eval: load supportedSystems from JSON file

2025-05-11 22:22:45 +02:00

release-perl.nix

…

release-python.nix

…

release-r.nix

…

release-small.nix

…

release-staging.nix

…

release-unfree-redistributable.nix

…

release.nix

workflows/eval: load supportedSystems from JSON file

2025-05-11 22:22:45 +02:00

rocq-packages.nix

…

ruby-packages.nix

…

splice.nix

…

stage.nix

Revert "stdenv: add uutils-coreutils stdenv"

2025-05-14 15:32:32 -04:00

tcl-packages.nix

…

unixtools.nix

…

wine-packages.nix

…