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