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_type
s 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