![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Manifest | 2024-10-17 17:41 | 2.1K | |
| cvc4-1.6.ebuild | 2020-02-22 22:40 | 552 | |
| cvc4-1.7-r1.ebuild | 2023-01-14 14:13 | 1.3K | |
| cvc4-1.7.ebuild | 2019-07-25 08:40 | 1.3K | |
| cvc4-1.8-r1.ebuild | 2022-10-15 17:10 | 1.3K | |
| cvc4-1.8-r2.ebuild | 2023-01-14 14:13 | 1.4K | |
| cvc4-1.8-r3.ebuild | 2023-02-22 12:40 | 1.4K | |
| cvc4-1.8-r4.ebuild | 2023-03-05 12:40 | 1.4K | |
| cvc4-1.8-r5.ebuild | 2024-10-17 17:41 | 1.8K | |
| cvc4-1.8.ebuild | 2022-02-08 10:10 | 1.3K | |
| files/ | 2025-02-22 11:11 | - | |
| metadata.xml | 2023-01-29 14:40 | 840 | |