5 commits

Author	SHA1	Message	Date
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
Timo Kaufmann	fa3d0cef67	singular: 3.1.7 -> 4.1.1	2018-04-11 17:00:20 +02:00
Timo Kaufmann	d836d320da	flint: Always create proper so file, support blas	2018-03-30 14:42:03 +02:00
Silvan Mosberger	f5fa5fa4d6	pkgs: refactor needless quoting of homepage meta attribute (#27809) ... * pkgs: refactor needless quoting of homepage meta attribute A lot of packages are needlessly quoting the homepage meta attribute (about 1400, 22%), this commit refactors all of those instances. * pkgs: Fixing some links that were wrongfully unquoted in the previous commit * Fixed some instances	2017-08-01 22:03:30 +02:00
Michael Raskin	2bb5bdd12c	flint: init at 2.5.2	2016-10-26 11:06:34 +02:00