Gnocatan has been renamed upstream to Pioneers. The Debian package names have also changed. The gnocatan-* packages are now empty, and force installation of the respective pioneers-* packages to help with a smooth transition.