Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2004-12-24 | Adjust dependencies after ocaml has been splitted into three different | jmmv | 1 | -2/+2 |
2004-12-03 | Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs. | wiz | 1 | -2/+2 |
2004-10-03 | Libtool fix for PR pkg/26633, and other issues. Update libtool to 1.5.10 | tv | 1 | -2/+2 |
2004-04-28 | Convert to buildlink3. | snj | 1 | -3/+3 |
2004-01-24 | replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make. | grant | 1 | -2/+2 |
2003-06-23 | Build with native code compilers on systems where they're available, | jtb | 1 | -2/+3 |
2003-03-22 | By popular demand, move coq-7.4 from math to lang in order to be consistent | kristerw | 7 | -0/+357 |