OpenModelica's public key for encrypted Modelica libraries - View it on GitHub