testing/ginac: update to 1.8.2, build with ninja
Upstream seems to have some draconian policies on keeping old files, because the current version's source returns 404 now...
Edited by Patrycja Rosa
Upstream seems to have some draconian policies on keeping old files, because the current version's source returns 404 now...