info.hupel:pide-2019-RC0_2.12 (maven): pide2019-RC0
Keywords: isabelle|scala