From 96e424c5c2f51f32f32935bffd515b48f9b9997f Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Wed, 5 Jul 2017 14:26:06 -0700 Subject: updated INSTALL for version 1.5 --- library_versions | 1 + 1 file changed, 1 insertion(+) (limited to 'library_versions') 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 -- cgit v1.2.3