8 Commits

Author	SHA1	Message	Date
Daniel Bertalan	41f7f821f6	Toolchain+Ports: Use ftpmirror.gnu.org for faster downloads ... 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.	2023-05-28 06:34:12 -07:00
Tim Schumacher	d426c5a4b2	Ports: Format patches without numbering, commit hash or version number	2022-06-08 17:58:36 +01:00
Tim Schumacher	7ceccb7b82	Ports: Replace the gsl config.sub patch with our download	2022-05-25 22:54:04 +01:00
Ali Mohammad Pur	89c59f20d2	Ports: Update gsl's patches to use git patches ... Note that the previous patches have been split in this commit as well.	2022-05-19 20:17:10 +04:30
EWouters	9a4d100913	Ports/gsl: Update gsl to version 2.7.1	2022-04-11 19:43:56 -07:00
Pierce Andjelkovic	8f531a62eb	Ports: Replace gsl download mirror with functional download url	2022-03-15 14:03:07 +00:00
Tim Schumacher	c07f91474d	Ports: Make array-like settings actual arrays ... 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-10-05 02:13:08 +02:00
Rodrigo Tobar	3373090993	Ports: Add gsl	2021-09-08 08:49:56 +01:00