docbook_sgml_dtd: fix unreachable source

(cherry picked from commit 817b9f692d)
This commit is contained in:
Nick Hu
2025-05-07 10:36:41 +01:00
committed by github-actions[bot]
parent 9c585ee62c
commit edad5c9a66

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";
};