summaryrefslogtreecommitdiff
path: root/Ports/gsl
AgeCommit message (Expand)Author
2023-05-28Toolchain+Ports: Use `ftpmirror.gnu.org` for faster downloadsDaniel Bertalan
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
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
2021-09-08Ports: Add gslRodrigo Tobar