![[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-11 16:36 | 851 | |
| cvc5_1.0.3-1_source.changes.bz2 | 2022-12-28 00:06 | 901 | |
| cvc5_1.0.5-1_source.changes.bz2 | 2023-06-21 06:08 | 908 | |
| cvc5_1.0.5-3_source.changes.bz2 | 2023-06-27 20:36 | 782 | |
| cvc5_1.1.1-1_source.changes.bz2 | 2024-02-24 00:17 | 949 | |
| cvc5_1.1.2-1_source.changes.bz2 | 2024-03-04 18:40 | 875 | |
| cvc5_1.1.2-1build1_source.changes.bz2 | 2024-04-04 09:41 | 795 | |
| cvc5_1.1.2-2_source.changes.bz2 | 2024-05-07 11:28 | 883 | |
| cvc5_1.1.2-2build1_source.changes.bz2 | 2025-01-25 17:17 | 768 | |