xiaozhuai, Weihang Ding
|
6bb84d3f57
|
[ghc-filesystem] Bump to 1.5.12 (#29312)
* [ghc-filesystem] Bump to 1.5.12
* update version database
|
2023-02-01 11:13:02 -08:00 |
|
chausner
|
b9d5cc0bae
|
[ghc-filesystem] Update to 1.5.10 (#21397)
* Update ghc-filesystem to 1.5.10
* Update CI baseline
Co-authored-by: chausner <chausner@users.noreply.github.com>
|
2021-11-15 14:33:10 -08:00 |
|
AndyBrown91
|
27f892aa14
|
[ghc-filesystem] Fix port/package name discrepancy (#17589)
|
2021-05-03 10:52:53 -07:00 |
|
Park DongHa
|
d3a67b0559
|
[ghc-filesystem] create a new port (#16936)
* [ghc-filesystem] create a new port
* [ghc-filesystem] update baseline and port SHA
* Update ports/ghc-filesystem/portfile.cmake
Co-authored-by: NancyLi1013 <46708020+NancyLi1013@users.noreply.github.com>
* Update ports/ghc-filesystem/portfile.cmake
Co-authored-by: NancyLi1013 <46708020+NancyLi1013@users.noreply.github.com>
* [ghc-filesystem] update git-tree SHA
* [ghc-filesystem] depends vcpkg-cmake ports
Co-authored-by: NancyLi1013 <46708020+NancyLi1013@users.noreply.github.com>
|
2021-04-19 17:21:59 -07:00 |
|