agomezl/cake-manifest

A Cakeml repo manifest with references to all dependencies