GitHub repository: seL4/verification-manifest
Description: Manifests for the collection of verification repositories