--- sedlex-2.6/src/generator/data/dune.orig 2022-03-29 10:23:02.000000000 -0600 +++ sedlex-2.6/src/generator/data/dune 2022-03-30 09:10:19.151283029 -0600 @@ -1,29 +1,11 @@ (rule (targets DerivedCoreProperties.txt) - (deps base_url) - (action - (run - curl - -L - -s - %{read:base_url}/ucd/DerivedCoreProperties.txt - -o - DerivedCoreProperties.txt))) + (action (copy /usr/share/unicode/ucd/DerivedCoreProperties.txt DerivedCoreProperties.txt))) (rule (targets DerivedGeneralCategory.txt) - (deps base_url) - (action - (run - curl - -L - -s - %{read:base_url}/ucd/extracted/DerivedGeneralCategory.txt - -o - DerivedGeneralCategory.txt))) + (action (copy /usr/share/unicode/ucd/extracted/DerivedGeneralCategory.txt DerivedGeneralCategory.txt))) (rule (targets PropList.txt) - (deps base_url) - (action - (run curl -L -s %{read:base_url}/ucd/PropList.txt -o PropList.txt))) + (action (copy /usr/share/unicode/ucd/PropList.txt PropList.txt)))