Commit graph

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