MANIFEST

# --------------------------------------------------------------------
Makefile
MANIFEST
default.nix

# Proofs
proofs/Makefile
proofs/Makefile.common
proofs/_CoqProject
proofs/lang/ocaml/.keep
find:proofs:*.v

# Compiler
find:compiler/src:*.ml
find:compiler/src:*.mli
find:compiler/src:*.mll
find:compiler/src:*.mly
find:compiler/entry:*.ml
find:compiler/safetylib:*.ml
find:compiler/safetylib:*.mli
compiler/src/LICENSE.puf
compiler/scripts/runtest
compiler/Makefile
compiler/dune
compiler/dune-project
compiler/jasmin.opam
compiler/safetylib/dune
compiler/src/CIL/.keep
compiler/src/dune
compiler/config/tests.config

# EasyCrypt library
eclib/Makefile
eclib/tests.config
find:eclib:*.ec

# Tests
find:compiler/examples:*.mil

# Scripts
scripts/install-sh
scripts/distribution