docbook_sgml_dtd: fix unreachable source

This commit is contained in:
Nick Hu 2025-05-07 10:36:41 +01:00
parent 3730d8a308
commit 817b9f692d
No known key found for this signature in database
GPG key ID: 9E35DDA3DF631330

View file

@ -13,7 +13,7 @@ let
};
isoents = fetchurl {
url = "http://www.oasis-open.org/cover/ISOEnts.zip";
url = "https://web.archive.org/web/20250220122223/http://xml.coverpages.org/ISOEnts.zip";
sha256 = "1clrkaqnvc1ja4lj8blr0rdlphngkcda3snm7b9jzvcn76d3br6w";
};