Re: [basex-talk] delete .jar without version using repo:delete()