Mario Rodas f54bbc35e6 Merge pull request #81291 from r-ryantm/auto-update/Amiri ... amiri: 0.111 -> 0.112		2020-02-29 12:02:57 -05:00
..
documentation	man-pages: 5.04 -> 5.05	2020-02-12 22:07:28 +00:00
fonts	Merge pull request #81291 from r-ryantm/auto-update/Amiri	2020-02-29 12:02:57 -05:00
icons	Merge pull request #80720 from romildo/upd.qogir-icon-theme	2020-02-24 18:11:47 -03:00
machine-learning/mnist
misc	all-cabal-hashes: update to Hackage at 2020-02-28T12:23:03Z	2020-02-28 20:42:31 +01:00
sgml+xml	docbook-xsl: Fix reproducibility when building docs	2020-01-06 11:56:01 +01:00
soundfonts/fluid	soundfont-fluid: fix src url	2020-02-15 07:00:05 -05:00
themes	Merge pull request #80962 from romildo/upd.vimix-gtk-themes	2020-02-26 08:32:43 -03:00