Lluís Batlle i Rossell 2f182cebcc Updating OCE to 0.17.2		2016-08-30 11:03:02 +02:00
..
6.5.nix	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	2016-05-30 19:39:34 +00:00
default.nix	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	2016-05-30 19:39:34 +00:00
oce.nix	Updating OCE to 0.17.2	2016-08-30 11:03:02 +02:00