ledit: fetches html instead of a tarball

[barracuda156]

--->  Fetching distfiles for ledit
--->  ledit-2.04.tgz does not exist in /opt/local/var/macports/distfiles/ledit
--->  Attempting to fetch ledit-2.04.tgz from http://pauillac.inria.fr/~ddr/ledit/distrib/src/
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100   220  100   220    0     0     62      0  0:00:03  0:00:03 --:--:--    62
100 28567  100 28567    0     0   6952      0  0:00:04  0:00:04 --:--:--  254k
--->  Verifying checksums for ledit
--->  Checksumming ledit-2.04.tgz
Error: Checksum (rmd160) mismatch for ledit-2.04.tgz
Portfile checksum: ledit-2.04.tgz rmd160 5cbad14d72f117c95dbd44e82cb8b70c5709948d
Distfile checksum: ledit-2.04.tgz rmd160 68e36ca2d4ff25097fdbe015dd0e1e37c867d3db
Error: Checksum (sha256) mismatch for ledit-2.04.tgz
Portfile checksum: ledit-2.04.tgz sha256 484897016b001b6d64eb24e38a213177b230ebf8e0d9808a969b62f012e70ee4
Distfile checksum: ledit-2.04.tgz sha256 9a30562ea9345b5ee4c8efb9f8df2c99928f81d7c1ceff0cac719a274c26cbf3
Error: Checksum (size) mismatch for ledit-2.04.tgz
Portfile checksum: ledit-2.04.tgz size 24430
Distfile checksum: ledit-2.04.tgz size 28567
***
The non-matching file appears to be HTML. See this page for possible reasons
for the checksum mismatch:
<https://trac.macports.org/wiki/MisbehavingServers>
***
The file has been moved to: /opt/local/var/macports/distfiles/ledit/ledit-2.04.tgz.html
Error: Failed to checksum ledit: Unable to verify file checksums

[pguyot (Paul Guyot)]

This is a temporary failure.

From the downloaded HTML page:

From June 15 to June 28, the site will be moving to our new  building.<br />
As a result, all locally-hosted IT resources are currently inaccessible, including various websites.<br />
The websites are scheduled to go back online on June 19 or 20, 2024.

[pmetzger (Perry E. Metzger)]

Why did you tag me? This isn't my port.

[barracuda156]

Replying to pmetzger:

Why did you tag me? This isn't my port.

Sorry. (Because of OCaml, but I won’t in the future in similar cases.)

[ryandesign (Ryan Carsten Schmidt)]

It is now after June 28 and it works:

% sudo port fetch --no-mirrors ledit      
--->  Fetching distfiles for ledit
--->  Attempting to fetch ledit-2.04.tgz from http://cristal.inria.fr/~ddr/ledit/distrib/src/
% sudo port checksum ledit          
--->  Verifying checksums for ledit
% curl -OL http://pauillac.inria.fr/~ddr/ledit/distrib/src/ledit-2.04.tgz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 24430  100 24430    0     0  26039      0 --:--:-- --:--:-- --:--:-- 26017
% openssl dgst -sha256 ledit-2.04.tgz                                    
SHA2-256(ledit-2.04.tgz)= 484897016b001b6d64eb24e38a213177b230ebf8e0d9808a969b62f012e70ee4