![[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-1_source.changes.bz2 | 2022-12-10 21:36 | 851 | |
| cvc5_1.0.2-2_source.changes.bz2 | 2022-12-20 04:10 | 703 | |
| cvc5_1.0.3-1_source.changes.bz2 | 2022-12-20 09:35 | 856 | |
| cvc5_1.0.5-1_source.changes.bz2 | 2023-06-20 21:07 | 908 | |
| cvc5_1.0.5-2_source.changes.bz2 | 2023-06-23 21:18 | 739 | |
| cvc5_1.0.5-3_source.changes.bz2 | 2023-06-24 03:05 | 745 | |
| cvc5_1.0.8-1_source.changes.bz2 | 2024-01-21 09:35 | 869 | |
| cvc5_1.1.1-1_source.changes.bz2 | 2024-02-12 18:46 | 919 | |
| cvc5_1.1.2-1_source.changes.bz2 | 2024-03-03 09:35 | 875 | |
| cvc5_1.1.2-2_source.changes.bz2 | 2024-03-20 09:37 | 883 | |
| cvc5_1.1.2-3_source.changes | 2025-08-11 15:38 | 1.3K | |