José Romildo Malaquias 75bba7ff5d Merge pull request #179434 from kilianar/kora-icon-theme ... kora-icon-theme: 1.5.1 -> 1.5.2		2022-06-28 18:53:40 -03:00
..
documentation	scheme-manpages: 2022-04-21 -> 2022-05-14	2022-06-25 04:20:00 +00:00
fonts	Merge pull request #176580 from DamienCassou/iosevka-comfy	2022-06-28 08:02:17 +02:00
icons	Merge pull request #179434 from kilianar/kora-icon-theme	2022-06-28 18:53:40 -03:00
machine-learning/mnist
misc	Merge master into haskell-updates	2022-06-25 00:13:01 +00:00
sgml+xml	Merge pull request #166509 from jtojnar/man-opt-nodup	2022-04-10 11:09:12 +01:00
soundfonts	soundfont-generaluser: init at 1.471	2022-03-24 12:49:38 +02:00
themes	kde-rounded-corners: bump to unstable, fix build with kwin 5.25	2022-06-25 18:25:33 -03:00