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