docker/ci: need netcat and killall for some test scripts
[nit.git] / lib / gmp / gmp.nit
2017-07-06 PatrickBlanchettegmp: Introduce BigInt and Ratio