3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs
Michael Raskin 66f306ac4e Removing tetex reference in E Prover
svn path=/nixpkgs/trunk/; revision=11810
2008-05-10 09:19:50 +00:00
..
applications URL fix 2008-05-10 07:15:35 +00:00
build-support * A function `runInGenericVM' that performs a build in an arbitrary VM 2008-04-29 12:32:17 +00:00
configs/etc
data .ttf font file supports OpenType features better than .otf for XeLaTeX.. 2008-04-29 01:38:46 +00:00
desktops * Purity fixes in kdelibs/kdebase: configure looks for pkg-config and 2008-03-26 09:53:04 +00:00
development updatet qt4 to 4.4.0 and cleaned up the nix expression a little bit, breaks a lot of stuff depending on qt4 I suppose ;-) 2008-05-10 09:09:56 +00:00
games Add new game: openttd. 2008-04-10 22:12:20 +00:00
lib Support for profiling (all libraries) enabled by custom config 2008-04-28 22:27:03 +00:00
misc Support for profiling (all libraries) enabled by custom config 2008-04-28 22:27:03 +00:00
os-specific/linux * Check against accidentally mixing kernel versions (e.g. Linux 2.6.25 2008-05-08 15:36:19 +00:00
servers Upgraded Squid. IPv6 does not work fully yet. 2008-05-06 07:02:33 +00:00
shells Added socat, updated zsh 2008-02-10 17:36:10 +00:00
stdenv * substitute: support patterns starting with a dash. 2008-02-22 18:19:04 +00:00
test Merged with trunk. 2007-11-16 21:05:15 +00:00
tools Removing tetex reference in E Prover 2008-05-10 09:19:50 +00:00
top-level Removing tetex reference in E Prover 2008-05-10 09:19:50 +00:00