100644 blob 488365d659fec8f38b2a20453f207f8d1ea2f8c8	Manifest
100644 blob 707a434eecad690acfc7c5a84681b5c3b2753abc	coq-8.4_p5.ebuild
100644 blob be183f11229dbc5c7c0d3f60a5cdb848b471c113	coq-8.4_p6.ebuild
100644 blob 1dffb390cc781ed6cd5d66911813e9f972629760	coq-8.5.ebuild
040000 tree 5f946e1d565c835931c078c29f96c2299c932bdd	files
100644 blob 1bf44c44c5474668439d83b339b3460ff5c61c43	metadata.xml