TP-Link TL-WN725N not recognized

[mk01]

did you do apt-get update before? I think this version is no more online.

that's original beta1 package, Koenn took it down. So you can create .deb from git (whle choosing checkoiut of this version tag),
or you install kernel & header of available packages, where Koenn didn't put include/mach. in that case yes, download the attachement, unpack the few .h fies into kernel source dir and then just use the the command as provided.

or took my 3.10.1 from daily updates repo, where nothing is missing and this one repo "git clone https://github.com/lwfinger/rtl8188eu.git" compiles ok and command is just "make".

or, wait 10 minutes and I will provide 3.10.1 with this module compiled in at the daily repo and you don't have to download headers package, development enviro for debian and compile