Se me olvidó ..
y en tu actual "link" .. tendrás que llamar a ese script que hará la carga y "descarga" del archivo:
<a href="ver.php">
Como script PHP que es .. podrías pasarle com parámetro (en el URL) el nombre del archivo o identificador a descargar y hacer más versatil ese script.
Un saludo,