info.hupel:pide-2016-1-RC1_2.12.0-RC2 (maven): pide2016-1-RC1
Keywords: isabelle|scala