diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-05 14:26:06 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-05 14:26:06 -0700 |
| commit | 96e424c5c2f51f32f32935bffd515b48f9b9997f (patch) | |
| tree | f3406ffece437cb864e09f40397990f48b743c7b /library_versions | |
| parent | ad3d7ccf4be2d59b6f7b60b593dd2c30445828ec (diff) | |
updated INSTALL for version 1.5
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 a487695d7..0bb4c4dfa 100644 --- a/library_versions +++ b/library_versions @@ -59,3 +59,4 @@ 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 1\.5-prerelease libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0 +1\.5 libcvc4:4:0:0 libcvc4parser:4:0:0 libcvc4compat:4:0:0 libcvc4bindings:4:0:0 |