As was pointed out before we have PPA which is preferable way to distribute DEB builds. Also TBH hosting builds on our own server is obviously suboptimal way and it’s would be far better to just switch it to GitHub releases.
It’s long standing issue since while I personally developed VCMI on Linux I never had time to fix linking properly. I guess it’s better to check current build configuration and patches for VCMI in actual Debian package:
https://packages.debian.org/sid/vcmi
Debian maintainer @josch did a great work on making it work properly.
