Timo Kaufmann 02b1f2a2de Merge pull request #83224 from shnarazk/cadical-pr ... cadical: init at 1.2.1		2020-04-04 15:44:04 +00:00
..
scripts	nix-generate-from-cpan: use Module::CoreList to detect core modules	2020-03-14 00:25:33 -05:00
maintainer-list.nix	Merge pull request #83224 from shnarazk/cadical-pr	2020-04-04 15:44:04 +00:00
team-list.nix	maintainers/teams: add gnome team	2020-03-16 03:31:06 +01:00