diff options
author | EWouters <6179932+EWouters@users.noreply.github.com> | 2022-04-01 02:54:00 +0200 |
---|---|---|
committer | Brian Gianforcaro <b.gianfo@gmail.com> | 2022-04-11 19:43:56 -0700 |
commit | e6172445e21dc5f50b8adc5ff2b10ef8243dbef9 (patch) | |
tree | cb54759939214c110d6d5b8a2efcd3a05d18823b /Ports/ed/package.sh | |
parent | 8828b038f58a0f23a2b12b69b7c4c33fdb17c579 (diff) | |
download | serenity-e6172445e21dc5f50b8adc5ff2b10ef8243dbef9.zip |
Ports/ed: Update ed to version 1.18
Diffstat (limited to 'Ports/ed/package.sh')
-rwxr-xr-x | Ports/ed/package.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Ports/ed/package.sh b/Ports/ed/package.sh index 5eabd352a9..a398bd99ed 100755 --- a/Ports/ed/package.sh +++ b/Ports/ed/package.sh @@ -1,6 +1,6 @@ #!/usr/bin/env -S bash ../.port_include.sh port=ed -version=1.15 +version=1.18 files="https://ftpmirror.gnu.org/gnu/ed/ed-${version}.tar.lz ed-${version}.tar.lz https://ftpmirror.gnu.org/gnu/ed/ed-${version}.tar.lz.sig ed-${version}.tar.lz.sig https://ftpmirror.gnu.org/gnu/gnu-keyring.gpg gnu-keyring.gpg" |