// GiNaC library version information. It has very little to do with GiNaC
// version number. In particular, library version is OS dependent.
// GiNaC library version information. It has very little to do with GiNaC
// version number. In particular, library version is OS dependent.