As what I gather from the Debian changelog they DID NOT apply Michael Gernoth's patches. He worked very hard on resolving most of the issues of Micropolis:
To see his fixes, please have a look at this git branch: http://git.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis Thus I strongly suggest to use the sourcecode that I attached in my post above for Ubuntu Jaunty. -- [needs-packaging] Micropolis https://bugs.launchpad.net/bugs/182455 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
