![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| galera-26.4.6-strip-extra-cflags.patch | 29-Oct-2020 17:09 | 1.0K |
| galera-26.4.8-respect-toolchain.patch | 08-Apr-2021 20:39 | 1.7K |
| galera-26.4.13-asio.patch | 14-Dec-2022 04:10 | 697 |
| galera-26.4.13-tests.patch | 14-Dec-2022 04:10 | 458 |
| garb.cnf | 11-Aug-2016 20:04 | 612 |
| garb.init | 18-Nov-2019 19:09 | 905 |