Filename Modification time Size Manifest 2025-05-19 22:07 CEST 2422 B cvc4-1.8-r6.ebuild 2025-05-19 22:07 CEST 1770 B metadata.xml 2023-01-29 14:40 CET 840 B