Commit graph

4 commits

Author SHA1 Message Date
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