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 /news/slrn | |
| parent | 3e90f0967fc1d8cd7e3ee32b1832d94d73712267 (diff) | |
| download | pkgsrc-641c4708a868baf2a55d855bc46e1578a3c3b31d.tar.gz | |
Updated lang/coq to 8.0pl2nb1 to compile with ocaml >= 3.09
Diffstat (limited to 'news/slrn')
0 files changed, 0 insertions, 0 deletions