../ guile-readline.so 02-Jun-2019 16:17 52096 guile-readline.so.0 02-Jun-2019 16:17 52096 guile-readline.so.0.0.0 02-Jun-2019 16:17 52096