../ files/ 24-Dec-2022 00:10 - Manifest 05-Dec-2022 13:40 2417 cvc4-1.7-r1.ebuild 05-Feb-2022 11:39 1379 cvc4-1.8-r2.ebuild 11-Nov-2022 22:40 1385 metadata.xml 05-Dec-2022 13:40 896