Timo Kaufmann cad446513e ntl: 9.11.0 -> 11.2.1 ... ntl hasn't been updated in a while. So I'm doing that and adding myself as the maintainer. I'm also adding some options and pinning the sage dependency, since it is unfortunately not compatible with the latest ntl yet. I've also enabled the tests, since they don't take terribly long and are worth the time in my opinion.		2018-07-18 14:58:38 +02:00
..
default.nix	ntl: 9.11.0 -> 11.2.1	2018-07-18 14:58:38 +02:00