Tests: compiler toplevel
Depends: coq
