Vincent Laporte 68e4b639a3 Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native ... coq: Move dune, ocaml and findlib to nativeBuildInputs		2022-02-26 08:54:53 +01:00
..
applications	Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native	2022-02-26 08:54:53 +01:00
build-support	Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native	2022-02-26 08:54:53 +01:00
common-updater	httpTwoLevelsUpdater: init	2022-02-21 13:01:49 -03:00
data	tela-icon-theme: 2022-01-25 -> 2022-02-21	2022-02-25 10:34:07 -08:00
desktops	gnome.gnome-mines: 40.0 -> 40.1	2022-02-25 10:57:22 -08:00
development	Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native	2022-02-26 08:54:53 +01:00
games	treewide: switch all desktop file generators to new API	2022-02-25 13:40:38 -08:00
misc	cups-filters: 1.28.11 -> 1.28.12	2022-02-25 23:21:44 +01:00
os-specific	Merge pull request #161287 from duxovni/linux-rt	2022-02-26 05:34:23 +02:00
pkgs-lib
servers	Merge pull request #161721 from r-ryantm/auto-update/soft-serve	2022-02-25 21:08:48 -08:00
shells	oil: 0.9.7 -> 0.9.8	2022-02-25 10:57:50 -08:00
stdenv
test
tools	pwgen_secure: fix missing words.txt (#161585)	2022-02-26 15:18:13 +08:00
top-level	Merge pull request #161423 from revol-xut/master	2022-02-26 01:38:30 +01:00