nixpkgs/pkgs
2023-05-17 09:59:32 +02:00
..
applications Merge pull request #229008 from whonore/dafny-4 2023-05-17 09:53:06 +02:00
build-support Merge pull request #229008 from whonore/dafny-4 2023-05-17 09:53:06 +02:00
common-updater
data
desktops Merge pull request #232163 from bobby285271/upd/mate 2023-05-16 12:42:43 -03:00
development Merge pull request #232350 from r-ryantm/auto-update/python310Packages.unearth 2023-05-17 10:58:32 +03:00
games Merge pull request #229008 from whonore/dafny-4 2023-05-17 09:53:06 +02:00
misc Merge pull request #231714 from NobbZ/betterlockscreen-without-dunst 2023-05-17 07:08:15 +02:00
os-specific linuxPackages.nvidia_x11_vulkan_beta: 525.47.22 -> 525.47.24 2023-05-16 22:30:24 +02:00
pkgs-lib
servers Merge pull request #229008 from whonore/dafny-4 2023-05-17 09:53:06 +02:00
shells
stdenv
test
tools Merge pull request #232344 from r-ryantm/auto-update/threatest 2023-05-17 09:59:32 +02:00
top-level Merge pull request #229008 from whonore/dafny-4 2023-05-17 09:53:06 +02:00