nixpkgs/pkgs/desktops
Vladimír Čunát 81b9cc6f54 html-tidy: unify with its drop-in replacement tidy-html5
- the original project has been unmaintained for years
- some dependants needed to be patched due to renamed headers
  https://github.com/htacg/tidy-html5/issues/326#issuecomment-160329114
- separate tidy-html5 package was removed, as since the 5.0.0 version
  it's meant as a successor to both, and library name got back
  from libtidy5.so to libtidy.so
  https://github.com/htacg/tidy-html5/issues/326#issuecomment-160314666

/cc committers to tidy-html5: @edwjto and @zimbatm.
2015-11-29 10:32:02 +01:00
..
cinnamon Use libpulseaudio instead of pulseaudio 2015-05-29 14:32:56 -07:00
e19 xlibs: replace occurrences by xorg 2015-09-15 12:54:34 +02:00
enlightenment xlibs: replace occurrences by xorg 2015-09-15 12:54:34 +02:00
gnome-2 gnome-common: fix derivation name for the patch 2015-10-05 15:17:53 +02:00
gnome-3 gnome-maps: mark 3.16 as broken 2015-11-20 11:24:01 +01:00
kde-4.14 html-tidy: unify with its drop-in replacement tidy-html5 2015-11-29 10:32:02 +01:00
pantheon/apps/pantheon-terminal pantheon-terminal: 0.3.0.1 -> 0.3.1.3 2015-09-20 18:24:37 +02:00
plasma-5.4 plasma54: 5.4.2 -> 5.4.3 2015-11-10 19:14:39 -06:00
plasma-5.5 plasma55: init at 5.4.95 2015-11-23 06:39:08 -06:00
xfce thunar: improvements (close #10306) 2015-11-24 09:51:39 +01:00