f5fa5fa4d6
* 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 |
||
|---|---|---|
| .. | ||
| agda-base | ||
| agda-iowa-stdlib | ||
| agda-prelude | ||
| Agda-Sheaves | ||
| agda-stdlib | ||
| bitvector | ||
| categories | ||
| pretty | ||
| TotalParserCombinators | ||