Marco Maggesi c713b0ed67 Preliminary version of package ssreflect ... Add expression for ssreflect, an extension to the Coq Proof Assistant. Still has some clitches (see TODO in default.nix) but is usable anyway. svn path=/nixpkgs/trunk/; revision=18145		2009-11-05 15:08:12 +00:00
..
applications	Preliminary version of package ssreflect	2009-11-05 15:08:12 +00:00
build-support	* Added Ubuntu 9.10 ("Karmic Koala").	2009-11-05 14:49:17 +00:00
configs/etc
data	pkgs/data/sgml+xml/schemas/xml-dtd/docbook/4.5.nix: added docbook 4.5 XML DTD	2009-11-03 15:57:27 +00:00
desktops	Upgraded KDE to 4.3.3	2009-11-05 12:13:46 +00:00
development	ECJ 3.5.1.	2009-11-05 14:36:45 +00:00
games	Adding bsdgames and miscfiles (this later, for 'words')	2009-10-26 23:03:36 +00:00
lib	* The libx86 package refers to platforms.netbsd, so add it.	2009-10-28 12:25:06 +00:00
misc	pkgs/misc/cups/default.nix: don't install files to /etc or /usr	2009-11-05 13:33:36 +00:00
os-specific	pkgs/development/interpreters/python/2.6/default.nix: fixed build on Darwin	2009-11-05 13:44:30 +00:00
servers	added couchdb 0.8.1-incubating	2009-11-05 14:41:05 +00:00
shells	* tcsh: create a "csh" symlink.	2009-06-13 16:09:26 +00:00
stdenv	Added empty line	2009-10-16 10:21:27 +00:00
test	Add a new way to handle option sets.	2008-08-05 17:16:35 +00:00
tools	pkgs/tools/typesetting/asciidoc: updated to version 8.5.1	2009-11-03 15:57:22 +00:00
top-level	Preliminary version of package ssreflect	2009-11-05 15:08:12 +00:00