Marco Maggesi 513d653d68 Add HOL Light and its dependencies. ... Add pkgs/applications/science/logic/hol_light and pkgs/applications/science/emacs-modes/hol_light Some functionalities of HOL Light requires the compiled sources of OCaml. For now we provide a new package ocaml_with_sources. After this shuold be merged with the current version of OCaml already present in nixpkgs. svn path=/nixpkgs/trunk/; revision=20008		2010-02-15 11:00:02 +00:00
..
audio	* redland: make the dependency on postgresql, mysql, sqlite and db4	2010-02-11 14:31:49 +00:00
display-managers/slim	Fixing the slim build in gcc 4.4	2010-01-16 15:02:46 +00:00
editors	Add HOL Light and its dependencies.	2010-02-15 11:00:02 +00:00
graphics	fix gimp plugins, webkit build	2010-02-14 00:33:57 +00:00
misc	rxvt-unicode upgrade to 9.0.7 - didn't compile	2010-02-13 17:39:27 +00:00
networking	Updating the flash player 10 for linux.	2010-02-15 08:49:02 +00:00
office	Add GNU TeXmacs.	2010-02-13 19:22:16 +00:00
science	Add HOL Light and its dependencies.	2010-02-15 11:00:02 +00:00
taxes	* Got rid of a lot of "postInstall=postInstall" and similar lines in	2009-04-23 13:31:10 +00:00
version-management	update git-1.6.6.2	2010-02-13 17:39:25 +00:00
video	update to 1.0.4	2009-12-25 19:22:25 +00:00
virtualization	Upgraded VirtualBox to 3.1.4	2010-02-14 21:27:13 +00:00
window-managers	Ratpoison: Fix glibc 2.11 builds.	2010-02-08 15:33:18 +00:00