libffi-3.0.13: registering info file /usr/pkg/info/libffi.info
readline-6.2: registering info file /usr/pkg/info/history.info
readline-6.2: registering info file /usr/pkg/info/readline.info
readline-6.2: registering info file /usr/pkg/info/rluserman.info
gmp-5.1.2: registering info file /usr/pkg/info/gmp.info
cln-1.3.2nb1: registering info file /usr/pkg/info/cln.info
libginac-1.5.8: registering info file /usr/pkg/info/ginac-examples.info
libginac-1.5.8: registering info file /usr/pkg/info/ginac.info