info.hupel:pide-dependencies_2.11 (maven): pideDependencies
Keywords: isabelle|scala