nixpkgs/pkgs/applications
Austin Seipp fa118fc677 coq: 8.4pl2 -> 8.4pl3
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-07 20:52:26 -06:00
..
audio Merge pull request #1893 from ttuegel/maintainer 2014-03-07 21:53:12 +01:00
display-managers lightdm-gtk-greter: fix CVE-2014-0979 by upstream patch 2014-02-06 21:55:22 +01:00
editors Merge pull request #959 from wizeman/vimrc 2014-03-07 12:56:15 +01:00
graphics feh: update from 2.9.3 to 2.10 2014-03-03 11:10:27 +01:00
ike ike: add missing dependencies, note kernel compatibility 2013-12-30 22:19:16 +01:00
misc gnuradio: wrap example programs too 2014-03-07 23:59:35 +01:00
networking Added hexchat 2014-03-07 21:52:36 +01:00
office homebank: update from 4.5.4 to 4.5.5 2014-03-01 05:25:28 +02:00
science coq: 8.4pl2 -> 8.4pl3 2014-03-07 20:52:26 -06:00
search Adding doodle. 2013-04-22 20:57:14 +04:00
taxes Add aangifte-2013 2014-03-01 16:54:16 +01:00
version-management mercurial: Update to 2.9.1 2014-03-05 11:29:32 +01:00
video add gstreamer 1.0 setup-hook and use it where appropriate 2014-02-28 02:03:07 +01:00
virtualization Deleting the "runme" stuff - it is not needed at all, 2014-02-24 00:12:00 -03:00
window-managers Merge pull request #1448 from pSub/dwm-remove-patch 2014-02-24 22:48:48 +01:00