diff options
| author | tonio <tonio@pkgsrc.org> | 2006-01-16 14:37:16 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2006-01-16 14:37:16 +0000 |
| commit | a0271f80f664c79e304fc2f46407db333547b232 (patch) | |
| tree | 46f58f925c3866582880fa35eed92f858f3e8fe9 /x11/tk | |
| parent | b9c83375ba9832c830e149377041961f5eeecb19 (diff) | |
| download | pkgsrc-a0271f80f664c79e304fc2f46407db333547b232.tar.gz | |
Updated lang/coq to 8.0pl2nb1 to compile with ocaml >= 3.09
Diffstat (limited to 'x11/tk')
0 files changed, 0 insertions, 0 deletions