diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-09 16:37:59 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-10 17:35:59 -0400 |
commit | 37d278c80d1a8c5b6a88b4a5f4a912e7edaac1c3 (patch) | |
tree | 2638e4074fb44548207dd4bf52e7719a5bd9be1c /library_versions | |
parent | 629824db3911ab11ae286e4b14151a537602ba5a (diff) |
Some news about API changes.
Diffstat (limited to 'library_versions')
-rw-r--r-- | library_versions | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library_versions b/library_versions index 865ea8d77..966b1d8a8 100644 --- a/library_versions +++ b/library_versions @@ -56,3 +56,4 @@ 1\.3 libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0 1\.3\.1-prerelease libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0 1\.4-prerelease libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0 +# some things have changed in the API, 1.4 release should bump these numbers |