Hi Ruben and Steffen, you still have all those binaries /usr/bin/icebox*. Don't you think that this might collide with the icebox package, which provides /usr/bin/icebox? Wouldn't it be possible to renane all those ice* to something like fpga_ice* as well?
Thorsten -- debian-science-maintainers mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
