info.hupel.isabelle.setup.Resolver
Maven-/Ivy-based resolver.
Uses coursier under the hood to resolve artifacts from Maven and Ivy repositories.
coursier
Maven-/Ivy-based resolver.
Uses
coursier
under the hood to resolve artifacts from Maven and Ivy repositories.