Will Dietz 4b7b083bcb treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linux ... Include all linux platforms.		2018-04-30 18:12:10 -05:00
..
build-properties.patch
cedet-paths.patch
default.nix	treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linux	2018-04-30 18:12:10 -05:00
elib-avltree.patch
java-directory.patch	Replace lib/java -> share/java	2014-01-09 13:01:38 +01:00