Vladimír Čunát d36e4f3063 micropolis: fix patch hash, probably updated ... Fixes #9414. Seems to run OK, as far as I can tell in a minute.		2015-08-24 08:23:44 +02:00
..
default.nix	micropolis: fix patch hash, probably updated	2015-08-24 08:23:44 +02:00