/pkgs/applications/science/logic/matita/

• ../
• 130312.nix
• Makefile.patch
• configure.patch
• configure_130312.patch
• default.nix