diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-15 22:08:56 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:39 -0400 |
| commit | fd252474451635ff36a64f1e0a58cfb20171a582 (patch) | |
| tree | 2c9bf6e20dcac96ec23e95e57080331ce5ed5457 /library_versions | |
| parent | ae182dad751cb2a8955904a373ef3d2960557506 (diff) | |
Versioning preparation.
Diffstat (limited to 'library_versions')
| -rw-r--r-- | library_versions | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library_versions b/library_versions index 966b1d8a8..b4ba55bc1 100644 --- a/library_versions +++ b/library_versions @@ -56,4 +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 +1\.4 libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0 |