mirror of
https://github.com/robbert-vdh/yabridge.git
synced 2026-05-07 03:50:11 +02:00
Robbert van der Helm
10 lines
222 B
Plaintext
10 lines
222 B
Plaintext
[wrap-git]
|
|
url = https://github.com/gulrak/filesystem.git
|
|
# This is tag v1.5.14
|
|
revision = 8a2edd6d92ed820521d42c94d179462bf06b5ed3
|
|
depth = 1
|
|
patch_directory = ghc_filesystem
|
|
|
|
[provide]
|
|
ghc_filesystem = ghc_filesystem_dep
|