<?
$filename = 'robotino-api2_0.8.5_i386.deb';
header( 'Location: http://doc.openrobotino.org/download/packages/i386/'. $filename );
?>