diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-06-24 15:19:27 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-06-24 15:30:47 +0200 |
commit | 1b2be93d6e9537a623e9cc476e151341c6e39a1f (patch) | |
tree | ad428ca83a6c4b07302efb3741aca444f7828988 | |
parent | 5d052c87bd8f0fd894e67f0bebd4fa6f6160d83c (diff) | |
download | guile-1b2be93d6e9537a623e9cc476e151341c6e39a1f.tar.gz |
Revert "GNU Guile 3.0.3."
This change suggested an ABI incompatibility that's not there for normal
builds:
https://lists.gnu.org/archive/html/guile-user/2020-06/msg00059.html
Reported by Chris Vine.
This reverts commit 5d052c87bd8f0fd894e67f0bebd4fa6f6160d83c.
-rw-r--r-- | GUILE-VERSION | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/GUILE-VERSION b/GUILE-VERSION index f005f3789..3bb019510 100644 --- a/GUILE-VERSION +++ b/GUILE-VERSION @@ -3,7 +3,7 @@ # Note: `GUILE_VERSION' is defined in `configure.ac' using `git-version-gen'. GUILE_MAJOR_VERSION=3 GUILE_MINOR_VERSION=0 -GUILE_MICRO_VERSION=3 +GUILE_MICRO_VERSION=2 GUILE_EFFECTIVE_VERSION=3.0 @@ -16,7 +16,7 @@ GUILE_EFFECTIVE_VERSION=3.0 # See libtool info pages for more information on how and when to # change these. -LIBGUILE_INTERFACE_CURRENT=3 -LIBGUILE_INTERFACE_REVISION=0 -LIBGUILE_INTERFACE_AGE=0 +LIBGUILE_INTERFACE_CURRENT=2 +LIBGUILE_INTERFACE_REVISION=1 +LIBGUILE_INTERFACE_AGE=1 LIBGUILE_INTERFACE="${LIBGUILE_INTERFACE_CURRENT}:${LIBGUILE_INTERFACE_REVISION}:${LIBGUILE_INTERFACE_AGE}" |