no need to have this information in configure.ac (it is in the macros)
no need to have this information in configure.ac (it is in the macros)
linbox-team/linbox,linbox-team/linbox,linbox-team/linbox,linbox-team/linbox,linbox-team/linbox