../ files/ 10-Jan-2022 23:40 - Manifest 11-Sep-2021 13:40 2112 cvc4-1.7-r1.ebuild 05-Apr-2021 17:09 1379 cvc4-1.8.ebuild 27-May-2021 17:09 1294 metadata.xml 11-Sep-2021 13:40 802