S2E Source Manifests This repository contains the repo manifests to manage S2E's repositories. sudo apt-get install repo repo init -u git://github.com/s2e/manifest.git repo sync