Sander van der Burg 248fcdc3bb Downgraded smack to 3.0.4. It seems that 3.1.0 contains some annoying bugs ... svn path=/nixpkgs/trunk/; revision=18071		2009-11-02 15:12:17 +00:00
..
applications	Updated Coq to version 8.2pl1	2009-11-02 11:44:27 +00:00
build-support
configs/etc
data
desktops
development	Downgraded smack to 3.0.4. It seems that 3.1.0 contains some annoying bugs	2009-11-02 15:12:17 +00:00
games
lib
misc
os-specific	* Deleted some obsolete kernels (2.6.20, 2.6.21, 2.6.22, 2.6.23 and	2009-11-01 17:17:40 +00:00
servers
shells
stdenv
test
tools
top-level	Updated Coq to version 8.2pl1	2009-11-02 11:44:27 +00:00