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