mirror of
https://github.com/robbert-vdh/yabridge.git
synced 2026-05-07 03:50:11 +02:00
49b2ad46ab
Which can replace Boost.Filesystem for us so we can get rid of the runtime dependency.
10 lines
222 B
Plaintext
10 lines
222 B
Plaintext
[wrap-git]
|
|
url = https://github.com/gulrak/filesystem.git
|
|
# This is tag v1.5.12
|
|
revision = cd6805e94dd5d6346be1b75a54cdc27787319dd2
|
|
depth = 1
|
|
patch_directory = ghc_filesystem
|
|
|
|
[provide]
|
|
ghc_filesystem = ghc_filesystem_dep
|