There is a problem with the webdav extension: it depends on jackrabbit, which depends on JCR api, but this library has a non-free license and cannot be accepted in the Debian repository. I will try to find a work-around for this problem, something better than the work around described in the link above.
There is a problem with the webdav extension: it depends on jackrabbit, which depends on JCR api, but this library has a non-free license and cannot be accepted in the Debian repository. I will try to find a work-around for this problem, something better than the work around described in the link above.
Ludovic