Kirill Boltaev bccd75094f treewide: explicitly specify gtk and related package versions		2016-09-12 18:26:06 +03:00
..
default.nix	treewide: explicitly specify gtk and related package versions	2016-09-12 18:26:06 +03:00
gcc-4.3-build-fixes.patch	Matita and its dependencies.	2010-12-31 17:48:55 +00:00
gcc-4.4-build-fixes.patch	Matita and its dependencies.	2010-12-31 17:48:55 +00:00