23 Jul
2007
23 Jul
'07
1:59 p.m.
Hi, How do I install an older version of a port? I want to have ocaml version 3.08, see below why. Thanks in advance, Dimitri On 28 Jun 2007, at 10:26, Emmanuel Hainry wrote:
ocaml has built fine, but coq has not: with the release of ocaml3.10, lots of things have changed, particularly in camlp4 (which is the culprit here) and most complex dependents of ocaml don't build anymore. That is why cautious distributions (debian, pkgsrc..., opposed to gentoo for example) have not upgraded ocaml yet.