#define GINACLIB_MINOR_VERSION 6
/* Micro version of GiNaC */
-#define GINACLIB_MICRO_VERSION 6
+#define GINACLIB_MICRO_VERSION 7
// GiNaC library version information. It has very little to do with GiNaC
// version number. In particular, library version is OS dependent.
// for numbers that are omitted, except for shrinking the available space
// of leftover numbers. Not something we need to worry about yet. ;-)
#define GINAC_LT_CURRENT 5
-#define GINAC_LT_REVISION 2
+#define GINAC_LT_REVISION 3
#define GINAC_LT_AGE 0
/*