diff options
| author | jtb <jtb> | 2003-06-23 20:17:57 +0000 |
|---|---|---|
| committer | jtb <jtb> | 2003-06-23 20:17:57 +0000 |
| commit | 0c1324d1612d68ef1aadd7c7b6a782d004034118 (patch) | |
| tree | 886c20e1b18daee7ff9ccc5447fb1c2bc3ee575d /lang/coq | |
| parent | 58e4840c8adef8d1b365d15233ec8c15278b3b52 (diff) | |
| download | pkgsrc-0c1324d1612d68ef1aadd7c7b6a782d004034118.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