diff options
author | jtb <jtb@pkgsrc.org> | 2003-06-23 20:17:57 +0000 |
---|---|---|
committer | jtb <jtb@pkgsrc.org> | 2003-06-23 20:17:57 +0000 |
commit | 7a3a29e2bb08d59f0d51a49d188c3b170eb15349 (patch) | |
tree | 886c20e1b18daee7ff9ccc5447fb1c2bc3ee575d /lang/coq | |
parent | 1623b75909f21d5588e8c6ed9d3fde381ad81707 (diff) | |
download | pkgsrc-7a3a29e2bb08d59f0d51a49d188c3b170eb15349.tar.gz |
Note update of ocaml to 3.06nb3.
Native code compilers for powerpc and sparc are now enabled.
Diffstat (limited to 'lang/coq')
0 files changed, 0 insertions, 0 deletions