| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2005-04-11 | Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used. | tv | 1 | -2/+1 |
| 2005-02-24 | Add RMD160 digests | agc | 1 | -1/+2 |
| 2005-02-05 | - Update of coq from 7.4 to 8.0pl2 | adrianp | 5 | -71/+484 |
| 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 |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |