* GiNaC library version information. */
/*
- * GiNaC Copyright (C) 1999-2014 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2018 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
#define GINACLIB_MAJOR_VERSION 1
/* Minor version of GiNaC */
-#define GINACLIB_MINOR_VERSION 6
+#define GINACLIB_MINOR_VERSION 7
/* Micro version of GiNaC */
-#define GINACLIB_MICRO_VERSION 2
+#define GINACLIB_MICRO_VERSION 3
// GiNaC library version information. It has very little to do with GiNaC
// version number. In particular, library version is OS dependent.
// 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. ;-)
-#define GINAC_LT_CURRENT 4
-#define GINAC_LT_REVISION 0
-#define GINAC_LT_AGE 0
+#define GINAC_LT_CURRENT 7
+#define GINAC_LT_REVISION 3
+#define GINAC_LT_AGE 1
/*
* GiNaC archive file version information.