summaryrefslogtreecommitdiff
path: root/Ports/gsl
AgeCommit message (Collapse)Author
2023-05-28Toolchain+Ports: Use `ftpmirror.gnu.org` for faster downloadsDaniel Bertalan
This service automatically redirects to a mirror that's geographically closer, which should make downloading the tarballs faster. The GNU project recommends this instead of bombarding their top-level downloads site.
2022-06-08Ports: Format patches without numbering, commit hash or version numberTim Schumacher
2022-05-25Ports: Replace the `gsl` `config.sub` patch with our downloadTim Schumacher
2022-05-19Ports: Update gsl's patches to use git patchesAli Mohammad Pur
Note that the previous patches have been split in this commit as well.
2022-04-11Ports/gsl: Update gsl to version 2.7.1EWouters
2022-03-15Ports: Replace gsl download mirror with functional download urlPierce Andjelkovic
2021-10-05Ports: Make array-like settings actual arraysTim Schumacher
We may need entries with spaces in makeopts, installopts, and configopts, and at that point we should also convert depends and auth_opts to avoid confusion.
2021-09-08Ports: Add gslRodrigo Tobar