Vincent Laporte e09c29e9e6 coqPackages.ITree: enable for Coq 8.16		2022-06-13 11:29:20 +02:00
..
applications	Merge pull request #177452 from eqyiel/bump-msmtp	2022-06-13 09:43:30 +02:00
build-support
common-updater
data
desktops	xfce.exo: 4.16.3 -> 4.16.4	2022-06-11 19:17:33 -03:00
development	coqPackages.ITree: enable for Coq 8.16	2022-06-13 11:29:20 +02:00
games	Merge pull request #176774 from robintown/minecraft-server	2022-06-11 16:23:24 +02:00
misc	Merge pull request #175851 from reckenrode/dxvk-refactor	2022-06-11 15:11:41 +02:00
os-specific	Merge pull request #177216 from amarshall/linux-kernel-updates	2022-06-12 19:52:57 +02:00
pkgs-lib
servers	Merge pull request #177483 from fabaff/pycketcasts	2022-06-13 10:49:10 +02:00
shells
stdenv
test
tools	ooniprobe-cli: 3.15.0 -> 3.15.1	2022-06-12 23:04:36 +00:00
top-level	Merge pull request #177483 from fabaff/pycketcasts	2022-06-13 10:49:10 +02:00