summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authorjtb <jtb@pkgsrc.org>2003-06-23 20:17:57 +0000
committerjtb <jtb@pkgsrc.org>2003-06-23 20:17:57 +0000
commit7a3a29e2bb08d59f0d51a49d188c3b170eb15349 (patch)
tree886c20e1b18daee7ff9ccc5447fb1c2bc3ee575d /lang/coq
parent1623b75909f21d5588e8c6ed9d3fde381ad81707 (diff)
downloadpkgsrc-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