diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-09-04 14:59:19 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-04 16:59:19 -0500 |
commit | 747a9a248da073911e1c0da34c38f0648421a087 (patch) | |
tree | 98449a71c66d0ad427b8c8dc6f0ed1b9fbccdfbe /library_versions | |
parent | 29bf7d6a937ab50c4dd92a30d7beb36a4001ead6 (diff) |
Remove CVC3 compatibility layer (#2418)
Diffstat (limited to 'library_versions')
-rw-r--r-- | library_versions | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/library_versions b/library_versions index a3a4e9c64..a513fe428 100644 --- a/library_versions +++ b/library_versions @@ -36,12 +36,9 @@ # CVC4 release numbers and the corresponding interface version # information of libraries. # -# For now, libcvc4bindings' version info is used for all language -# bindings libraries, and _also_ for all "compatibility" bindings -# libraries (i.e., the old CVC3-esque C and Java bindings). This -# may need to be split out in future, if some bindings (particularly -# the compatibility ones) change more(/less) frequently than the -# others. +# For now, libcvc4bindings' version info is used for all language bindings +# libraries. This may need to be split out in future, if some bindings change +# more(/less) frequently than the others. # 0\..* libcvc4:0:0:0 libcvc4parser:0:0:0 libcvc4compat:0:0:0 libcvc4bindings:0:0:0 1\.0 libcvc4:0:0:0 libcvc4parser:0:0:0 libcvc4compat:0:0:0 libcvc4bindings:0:0:0 @@ -62,4 +59,4 @@ 1\.5 libcvc4:4:0:0 libcvc4parser:4:0:0 libcvc4compat:4:0:0 libcvc4bindings:4:0:0 1\.6-prerelease libcvc4:4:0:0 libcvc4parser:4:0:0 libcvc4compat:4:0:0 libcvc4bindings:4:0:0 1\.6 libcvc4:5:0:0 libcvc4parser:5:0:0 libcvc4compat:5:0:0 libcvc4bindings:5:0:0 -1\.7-prerelease libcvc4:5:0:0 libcvc4parser:5:0:0 libcvc4compat:5:0:0 libcvc4bindings:5:0:0 +1\.7-prerelease libcvc4:5:0:0 libcvc4parser:5:0:0 libcvc4bindings:5:0:0 |