8f0b929
--- sedlex-3.2/src/generator/data/dune.orig	2023-06-29 14:52:48.000000000 -0600
8f0b929
+++ sedlex-3.2/src/generator/data/dune	2023-07-03 15:13:37.561205871 -0600
8f0b929
@@ -1,35 +1,16 @@
281c774
 (rule
8f0b929
  (target DerivedCoreProperties.txt)
b5d92f0
- (deps base_url)
b5d92f0
- (action
b5d92f0
-  (run
b5d92f0
-   curl
b5d92f0
-   -L
b5d92f0
-   -s
b5d92f0
-   %{read:base_url}/ucd/DerivedCoreProperties.txt
b5d92f0
-   -o
8f0b929
-   %{target})))
8f0b929
+ (action (copy /usr/share/unicode/ucd/DerivedCoreProperties.txt DerivedCoreProperties.txt)))
281c774
 
281c774
 (rule
8f0b929
  (target DerivedGeneralCategory.txt)
b5d92f0
- (deps base_url)
b5d92f0
- (action
b5d92f0
-  (run
b5d92f0
-   curl
b5d92f0
-   -L
b5d92f0
-   -s
b5d92f0
-   %{read:base_url}/ucd/extracted/DerivedGeneralCategory.txt
b5d92f0
-   -o
8f0b929
-   %{target})))
8f0b929
+ (action (copy /usr/share/unicode/ucd/extracted/DerivedGeneralCategory.txt DerivedGeneralCategory.txt)))
281c774
 
281c774
 (rule
8f0b929
  (target PropList.txt)
b5d92f0
- (deps base_url)
b5d92f0
- (action
8f0b929
-  (run curl -L -s %{read:base_url}/ucd/PropList.txt -o %{target})))
8f0b929
+ (action (copy /usr/share/unicode/ucd/PropList.txt PropList.txt)))
8f0b929
 
8f0b929
 (rule
8f0b929
  (target UnicodeData.txt)
8f0b929
  (deps base_url)
8f0b929
- (action
8f0b929
-  (run curl -L -s %{read:base_url}/ucd/UnicodeData.txt -o %{target})))
8f0b929
+ (action (copy /usr/share/unicode/ucd/UnicodeData.txt UnicodeData.txt)))