diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/repos.json | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/etc/repos.json b/etc/repos.json index 090d101..d7bf9b6 100644 --- a/etc/repos.json +++ b/etc/repos.json @@ -200,6 +200,17 @@ , "target_root": "imports" , "target_file_name": "files.TARGETS" } + , "imports/mimalloc-2.1.2": + { "repository": + { "type": "archive" + , "content": "da9d9ced476e35074380f3e240b59970dc443cd8" + , "fetch": "https://github.com/microsoft/mimalloc/archive/refs/tags/v2.1.2.tar.gz" + , "sha256": "2b1bff6f717f9725c70bf8d79e4786da13de8a270059e4ba0bdd262ae7be46eb" + , "subdir": "mimalloc-2.1.2" + } + , "target_root": "imports" + , "target_file_name": "files.TARGETS" + } , "imports/boringssl": { "repository": { "type": "archive" @@ -334,6 +345,7 @@ , "mpc": "imports/mpc-1.3.1" , "mpfr": "imports/mpfr-4.2.1" , "gcc": "compilers/gcc-13.2.0-native" + , "mimalloc": "imports/mimalloc-2.1.2" } } , "compilers/gcc-13.2.0-musl-static": |