Andres Löh 12ca68d114 Added a preliminary expression for Coq (no IDE support yet). ... svn path=/nixpkgs/trunk/; revision=11983		2008-06-04 15:10:05 +00:00
..
audio	Add abcde, a command-line CD encoder.	2008-05-26 20:54:34 +00:00
display-managers/slim	meta.homepage added to several packages	2008-01-31 10:41:45 +00:00
editors	* Move jedit to editors/jedit.	2008-06-04 11:48:11 +00:00
graphics	update to 2.4.6, python import problems are still there:	2008-05-31 11:59:41 +00:00
misc	GNU gv 3.6.4.	2008-06-01 16:51:03 +00:00
networking	* layout changes	2008-06-04 14:24:28 +00:00
office	URL fix	2008-05-10 07:15:35 +00:00
science	Added a preliminary expression for Coq (no IDE support yet).	2008-06-04 15:10:05 +00:00
taxes	svn path=/nixpkgs/trunk/; revision=11135	2008-03-15 22:30:01 +00:00
version-management	Fixed tailor expression	2008-05-31 07:26:13 +00:00
video	Add real players codecs for MPlayer. (can now play *.rmvb files)	2008-04-10 22:12:14 +00:00
virtualization	Added src to meta for builderDefs-based packages.	2008-03-02 18:49:31 +00:00
window-managers	added xmonad-contrib a huge extension library for xmonad	2008-04-14 20:57:28 +00:00