diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-19 13:18:48 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-19 13:22:22 +0100 |
| commit | 217a759bdf92847445bddfdf4aa2135930bf5462 (patch) | |
| tree | ce16db03c75af5f8eb60ec505555619ed4e14b52 /debian/coq.dirs.in | |
| parent | 24f81160e31255172d70badb1a8530385782ca48 (diff) | |
Remove experimental dependencies and restore ocaml-best-compiler
Diffstat (limited to 'debian/coq.dirs.in')
0 files changed, 0 insertions, 0 deletions