info.hupel.isabelle.api
This object was generated by sbt-buildinfo.
The value is scala.Some("ef360883304bef56cb2a7ae3f77b06d62bee8be9").
The value is "info.hupel".
The value is "2.11".
The value is "2.11.8".
The value is "0.8.1".
This object was generated by sbt-buildinfo.