Michael Raskin f2a77f5d9d TeXLive: update to 2012 snapshot from Debian		2012-07-13 18:18:52 +04:00
..
default.nix	TeXLive: update to 2012 snapshot from Debian	2012-07-13 18:18:52 +04:00