![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| cvc5_1.0.2-2.patch-basis | 2022-12-20 04:36 | 8 | |
| cvc5_1.0.2-2.patch.bz2 | 2022-12-20 04:36 | 628 | |
| cvc5_1.0.3-1.patch-basis | 2022-12-20 09:37 | 8 | |
| cvc5_1.0.3-1.patch.bz2 | 2022-12-20 09:37 | 276K | |
| cvc5_1.0.5-1.patch-basis | 2023-06-20 21:40 | 8 | |
| cvc5_1.0.5-1.patch.bz2 | 2023-06-20 21:40 | 332K | |
| cvc5_1.0.5-2.patch-basis | 2023-06-23 21:56 | 8 | |
| cvc5_1.0.5-2.patch.bz2 | 2023-06-23 21:56 | 2.6K | |
| cvc5_1.0.5-3.patch-basis | 2023-06-24 03:07 | 8 | |
| cvc5_1.0.5-3.patch.bz2 | 2023-06-24 03:07 | 2.7K | |
| cvc5_1.0.8-1.patch-basis | 2024-01-21 09:45 | 8 | |
| cvc5_1.0.8-1.patch.bz2 | 2024-01-21 09:45 | 559K | |
| cvc5_1.1.1-1.patch-basis | 2024-02-12 19:57 | 8 | |
| cvc5_1.1.1-1.patch.bz2 | 2024-02-12 19:57 | 1.2M | |
| cvc5_1.1.2-1.patch-basis | 2024-03-03 09:37 | 8 | |
| cvc5_1.1.2-1.patch.bz2 | 2024-03-03 09:37 | 230K | |
| cvc5_1.1.2-2.patch-basis | 2024-03-20 09:46 | 8 | |
| cvc5_1.1.2-2.patch.bz2 | 2024-03-20 09:46 | 2.5K | |
| patches.xml | 2024-03-20 09:57 | 2.3K | |