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 debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers