Mirror of the main repository of the piranha computer algebra system.