Gabriel Ebner 3aa72cc471 Merge pull request #157515 from jvanbruegge/isabelle-naproche ... isabelle: Enable and use naproche from nixpkgs		2022-03-20 18:26:33 +01:00
..
applications	Merge pull request #157515 from jvanbruegge/isabelle-naproche	2022-03-20 18:26:33 +01:00
build-support	rust: fix importCargoLock for repositories without toplevel Cargo.toml	2022-03-17 00:15:56 -04:00
common-updater
data	yaru-theme: 22.04.1 -> 22.04.2	2022-03-20 12:47:43 +01:00
desktops	Merge pull request #164602 from bobby285271/pantheon	2022-03-19 20:43:59 +08:00
development	Merge pull request #164989 from r-ryantm/auto-update/python310Packages.discogs-client	2022-03-20 18:23:34 +01:00
games	Merge pull request #164688 from peterhoeg/f/airshipper	2022-03-18 22:29:17 +01:00
misc
os-specific	smem: switch to python3	2022-03-20 11:42:35 +01:00
pkgs-lib
servers	Merge pull request #164920 from r-ryantm/auto-update/atlassian-jira	2022-03-20 07:57:10 -07:00
shells	fishPlugins.forgit: unstable-2021-04-09 -> unstable-2021-12-05	2022-03-18 23:15:06 -04:00
stdenv
test
tools	Merge pull request #164750 from MMesch/mmesch/update-openapi-generator-cli-unstable	2022-03-20 16:17:40 +01:00
top-level	Merge pull request #157515 from jvanbruegge/isabelle-naproche	2022-03-20 18:26:33 +01:00