| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | - Update coq to 8.3pl1 | Johan van Selst | 2011-02-12 | 1 | -77/+0 |
| * | Fix build with new ocaml preprocessor (patch from upstream) | Johan van Selst | 2010-12-10 | 1 | -0/+77 |
| * | - Update coq to 8.3 | Johan van Selst | 2010-11-09 | 1 | -0/+47 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |