diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-07-13 13:30:25 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-07-13 13:30:25 -0400 |
| commit | fc08556264dc00884e9bea9bc25c1670fe52fd00 (patch) | |
| tree | b0ecb5f8be4c54b7df84b91b6ecc3c352bacf82f /library_versions | |
| parent | c0258d642daa11ad8eaca8e991514c6a37de536a (diff) | |
New versioning for development version.
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 b4ba55bc1..13bdad78e 100644 --- a/library_versions +++ b/library_versions @@ -57,3 +57,4 @@ 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 1\.4 libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0 +1\.4\.1-prerelease libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0 |