../ files/ 25-Feb-2020 23:39 - Manifest 22-Feb-2020 21:40 1804 cvc4-1.6.ebuild 22-Feb-2020 21:40 552 cvc4-1.7.ebuild 25-Jul-2019 06:40 1344 metadata.xml 23-Jul-2019 13:39 801