Packages built and released for Fedora Extras 3: 6 dap-server-3.5.3-1.fc3.2 gtkwave-1.3.85-1.fc3 maxima-5.9.2-10.fc3 openal-0.0.9-0.4.20060204cvs.fc3 sbcl-0.9.10-1.fc3 zoo-2.10-6.fc3 For more information about the built packages please see the repository or the fedora Info Feed: http://fedoraproject.org/infofeed/