Packages built and released for Fedora Extras 3: 2 lyx-1.3.6-4.fc3 supertux-0.1.3-1.fc3 For more information about the built packages please see the repository or the fedora Info Feed: http://fedoraproject.org/infofeed/