I fully agree with your point of view.
A double slash should not cause problems, because it seems to be a long-lasting
convention that double slashes are not different from single slashes in path names.
The developers of pkgfile are to blame for the error.
Please excuse that I spoke of a buggy pacman.conf file.