diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-05-13 15:26:41 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-13 15:26:41 -0500 |
| commit | e1b570dfbdb5703688b445f9d54160754cc2d190 (patch) | |
| tree | 472544129bde5b05887b5626e41aae91416244d1 /src/dune | |
| parent | 106be9f37dc69ff7f5e036550aff11dd96aa147e (diff) | |
| parent | 8835a91e8383319a6bb98de9fd400b4eb7883eb5 (diff) | |
| download | vyos1x-config-e1b570dfbdb5703688b445f9d54160754cc2d190.tar.gz vyos1x-config-e1b570dfbdb5703688b445f9d54160754cc2d190.zip | |
Merge pull request #43 from dmbaturin/T7450-use-pcre2
deps: T7450: use PCRE2 instead of the original, outdated PCRE
Diffstat (limited to 'src/dune')
| -rw-r--r-- | src/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ (library (name vyos1x) (public_name vyos1x-config) - (libraries yojson menhirLib fileutils pcre xml-light unix containers) + (libraries yojson menhirLib fileutils pcre2 xml-light unix containers) (preprocess (pps ppx_deriving_yojson)) (foreign_stubs (language c) |