info.hupel.isabelle.impl
This object was generated by sbt-buildinfo.
The value is Some("dc82ff7ac2317f9e8179efa27c7977cf28a7bc99").
The value is "info.hupel".
The value is "2.11".
The value is "2.11.8".
The value is "0.7.0".
This object was generated by sbt-buildinfo.