]> www.ginac.de Git - ginac.git/search
readline versions like "4.735beta5-pl2" should now be correctly recognized