2022-06-08 02:47:05 +08:00
|
|
|
[wrap-git]
|
|
|
|
url = https://github.com/ericniebler/range-v3.git
|
2022-07-31 01:43:24 +08:00
|
|
|
revision = 3d6e6f56e5e1a3ec4befcc7695504ea23e1d52ab
|
2022-06-08 02:47:05 +08:00
|
|
|
|
|
|
|
patch_directory = range-v3
|
|
|
|
|
|
|
|
[provide]
|
|
|
|
range-v3 = range_dep
|