diff options
| author |  Samuel Mimram <smimram@debian.org> | 2007-08-27 07:28:26 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2007-08-27 07:28:26 +0000 |
| commit | d0d0fa119d8061cb6fb844e2d6c1ea7bac6eec44 (patch) | |
| tree | a937aa8224a948b4e355a75c4bb699583731fe12 /contrib/subtac/subtac_pretyping.mli | |
| parent | d9de9e7b1a8bd80dedb984ab4e15fa195e259633 (diff) | |
Depend on ocaml-base-nox since coq_makefile needs ocamlrun.
Diffstat (limited to 'contrib/subtac/subtac_pretyping.mli')
0 files changed, 0 insertions, 0 deletions