Update version number

validsdp · Nov 24, 2019 · d67553c · d67553c
1 parent abf61bb
commit d67553c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/configure.ac b/configure.ac
@@ -2,7 +2,7 @@
 # Process this file with autoconf to produce a configure script.
 
 AC_PREREQ(2.59)
-AC_INIT([ValidSDP], [0.6-git])
+AC_INIT([ValidSDP], [0.6.0])
 AC_CONFIG_SRCDIR([theories/validsdp.v])
 
 # Check for programs

diff --git a/libvalidsdp/configure.ac b/libvalidsdp/configure.ac
@@ -2,7 +2,7 @@
 # Process this file with autoconf to produce a configure script.
 
 AC_PREREQ(2.59)
-AC_INIT([libValidSDP], [0.6-git])
+AC_INIT([libValidSDP], [0.6.0])
 AC_CONFIG_SRCDIR([cholesky_infnan.v])
 
 # Check for programs