Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-05-28 | Toolchain+Ports: Use `ftpmirror.gnu.org` for faster downloads | Daniel 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-08 | Ports: Format patches without numbering, commit hash or version number | Tim Schumacher | |
2022-05-25 | Ports: Replace the `gsl` `config.sub` patch with our download | Tim Schumacher | |
2022-05-19 | Ports: Update gsl's patches to use git patches | Ali Mohammad Pur | |
Note that the previous patches have been split in this commit as well. | |||
2022-04-11 | Ports/gsl: Update gsl to version 2.7.1 | EWouters | |
2022-03-15 | Ports: Replace gsl download mirror with functional download url | Pierce Andjelkovic | |
2021-10-05 | Ports: Make array-like settings actual arrays | Tim 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-08 | Ports: Add gsl | Rodrigo Tobar | |