DapVersion class for depsolver