Peder Bergebakken Sundt 5c2f149bab Merge pull request #271114 from vbgl/why3-1.7.0 ... why3: 1.6.0 → 1.7.0		2023-12-02 10:48:36 +01:00
..
pkg-config	ruby_3_0: drop	2023-11-17 16:03:00 +01:00
agda-packages.nix
aliases.nix	Merge pull request #267049 from justinas/justinas/remove-teleport-11	2023-12-01 23:06:31 +00:00
all-packages.nix	Merge pull request #271114 from vbgl/why3-1.7.0	2023-12-02 10:48:36 +01:00
beam-packages.nix
by-name-overlay.nix
config.nix
coq-packages.nix	coqPackages.VST: 2.12 → 2.13	2023-11-27 03:57:47 +01:00
cubocore-packages.nix
cuda-packages.nix
darwin-packages.nix
default.nix
dhall-packages.nix
dotnet-packages.nix
emacs-packages.nix
emscripten-packages.nix
gnuradio-packages.nix
hare-third-party.nix	hare: refactor harePackages into hareThirdParty	2023-11-26 13:03:45 -03:00
haskell-packages.nix	haskell.compiler.integer-simple: construct using include list	2023-11-17 12:52:04 +01:00
haxe-packages.nix
impure.nix
java-packages.nix	mkAdoptopenjdk: allow missing {jre,jdk}-openj9 attribute	2023-11-30 09:36:06 +01:00
kodi-packages.nix
linux-kernels.nix	linux-rt_latest: remove patch that doesn't apply	2023-11-26 19:20:13 +01:00
lua-packages.nix
make-tarball.nix
metrics.nix
nim-overrides.nix	snekim: build with lockfile	2023-11-28 16:48:10 +02:00
nixpkgs-basic-release-checks.nix
ocaml-packages.nix	ocamlPackages.readline: init at 0.1	2023-11-30 05:37:04 +01:00
octave-packages.nix
packages-config.nix
perl-packages.nix	Merge pull request #186462 from apraga/bio-bigfile-1.07	2023-11-30 13:39:01 +00:00
php-packages.nix	phpspy: init at 0.6.0	2023-11-29 10:28:13 +01:00
python2-packages.nix
python-aliases.nix	python311Packages.qcodes-loop: remove	2023-11-30 09:44:06 +01:00
python-packages.nix	Merge pull request #271419 from GaetanLepage/vprof	2023-12-02 15:42:25 +09:00
qt5-packages.nix	libsForQt5: change comment	2023-11-24 04:19:39 +02:00
qt6-packages.nix	qt6Packages: fix mistake	2023-11-24 16:36:27 +02:00
release-alternatives.nix
release-cross.nix
release-cuda.nix
release-haskell.nix
release-lib.nix
release-python.nix
release-r.nix
release-small.nix
release.nix	pkgs/top-level/release: drop nodejs 16 exception	2023-11-20 18:50:14 +01:00
ruby-packages.nix	rubyPackages: update	2023-11-30 04:20:00 +00:00
splice.nix
stage.nix
unixtools.nix
wine-packages.nix