| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | - Update coq to 8.3pl1 | johans | 2011-02-12 | 1 | -77/+0 |
| * | Fix build with new ocaml preprocessor (patch from upstream) | johans | 2010-12-11 | 1 | -0/+77 |
| * | - Update coq to 8.3 | johans | 2010-11-09 | 1 | -0/+47 |
 |
index : freebsd-ports-gnome | |
| FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome) |
| aboutsummaryrefslogtreecommitdiffstats |