Russell O'Connor 88ec92d14c Matita and its dependencies. ...

svn path=/nixpkgs/trunk/; revision=25328

2010-12-31 17:48:55 +00:00

..

default.nix

…

gcc-4.3-build-fixes.patch

…

gcc-4.4-build-fixes.patch

…