# This MANIFEST
MANIFEST

# README
README.md

# Dev
Makefile
Makefile.common
src/*.v

# Finmap
finmap/CeCILL-B
finmap/Makefile
finmap/README
finmap/_CoqProject
finmap/opam
finmap/*.v

# Build scripts
scripts/install-sh
scripts/distribution.py
