gsl-1.15: registering info file /home/asau/pkg/info/gsl-ref.info
readline-6.2: registering info file /home/asau/pkg/info/history.info
readline-6.2: registering info file /home/asau/pkg/info/readline.info
readline-6.2: registering info file /home/asau/pkg/info/rluserman.info
gmp-5.0.5: registering info file /home/asau/pkg/info/gmp.info
cln-1.3.2nb1: registering info file /home/asau/pkg/info/cln.info
libginac-1.5.8: registering info file /home/asau/pkg/info/ginac-examples.info
libginac-1.5.8: registering info file /home/asau/pkg/info/ginac.info