Vladimír Čunát 5d8981ee4d opencascade-6.5: work around a build problem		2015-05-30 19:16:38 +02:00
..
6.5.nix	opencascade-6.5: work around a build problem	2015-05-30 19:16:38 +02:00
default.nix	…
oce.nix	…