+#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.
+//
+// When making releases, do
+// 1. Increment GINAC_LT_REVISION
+// 2. If any interfaces have been added, removed, or changed since the last
+// release, increment GINAC_LT_CURRENT and set GINAC_LT_REVISION to 0.
+// 3. If any interfaces have been added since the last release, increment
+// GINAC_LT_AGE.
+// 4. If any interfaces have been removed since the last release, set
+// GINAC_LT_AGE to 0.
+//
+// Please note: the libtool naming scheme cannot guarantee that on all
+// systems, the numbering is consecutive. It only guarantees that it is
+// increasing. This doesn't matter, though: there is not incurred cost
+// for numbers that are omitted, except for shrinking the available space
+// of leftover numbers. Not something we need to worry about yet. ;-)
+// TODO, when setting GINAC_LT_REVISION to 0:
+// * change matrix inverse to use default argument (twice)
+// * remove interfaces marked as deprecated
+#define GINAC_LT_CURRENT 10
+#define GINAC_LT_REVISION 1
+#define GINAC_LT_AGE 4