Marco Maggesi f2f1009d98 * Fix building of OCaml on Darwin. Gnu sed changed its behavior after version 4.2.1 (bug?), here we add a simple workaround ... svn path=/nixpkgs/trunk/; revision=25330		2011-01-01 17:26:07 +00:00
..
compilers	* Fix building of OCaml on Darwin. Gnu sed changed its behavior after version 4.2.1 (bug?), here we add a simple workaround	2011-01-01 17:26:07 +00:00
eclipse
guile-modules
interpreters
libraries	Matita and its dependencies.	2010-12-31 17:48:55 +00:00
misc
ocaml-modules	Matita and its dependencies.	2010-12-31 17:48:55 +00:00
perl-modules
python-modules
ruby-modules
tools