Debug symbols for the davix tools. davix is a toolkit designed for file operations with http based protocols (webdav, amazon s3, ...).