gdm is being kept out of Debian because libselinux isn't available for arm. But the build log at http://buildd.debian.org/build.php?arch=arm&pkg=libselinux shows a successful build of the current version on Sept. 3. What's the holdup? Was the built package not uploaded for some reason?