8 commits

Author	SHA1	Message	Date
EWouters	344aefd140	Ports/gzip: Update gzip to version 1.13	2023-10-12 23:30:22 +02:00
EWouters	50758181a3	Ports: Update formatting to be consistent with other ports ... This commit updates the formatting for all ports to be updated in this PR in one go, to keep those changes centralized.	2023-10-12 23:30:22 +02:00
Tim Schumacher	456fd9f574	Ports: Switch to the new files syntax	2023-09-09 01:06:31 +02:00
Tim Schumacher	fb4db096cb	Ports: Remove the filename entry from files	2023-08-08 19:57:43 +02:00
Tim Schumacher	284fee9e77	Ports: Make files a proper array	2023-08-08 19:57:43 +02:00
Tim Schumacher	89b0a61067	Ports: Remove support for auth_types other than sha256	2023-07-10 13:08:27 +02:00
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
Liav A	e20706760f	Ports: Add GNU gzip utility port	2022-06-25 12:01:45 +01:00