zimbatm 29be6e1685 jikes: use sha256 hash		2017-01-24 16:42:44 +00:00
..
default.nix	jikes: use sha256 hash	2017-01-24 16:42:44 +00:00