2022-06-08 02:47:05 +08:00
|
|
|
[wrap-git]
|
|
|
|
url = https://github.com/ericniebler/range-v3.git
|
2023-12-03 23:39:03 +08:00
|
|
|
revision = 97452bb3eb74a73fc86504421a6a27c92bce6b99
|
2022-06-08 02:47:05 +08:00
|
|
|
|
|
|
|
patch_directory = range-v3
|
|
|
|
|
|
|
|
[provide]
|
|
|
|
range-v3 = range_dep
|