| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2013-02-16 | Recursive bump for png-1.6. | wiz | 1 | -2/+2 |
| 2013-02-06 | PKGREVISION bumps for the security/openssl 1.0.1d update. | jperkin | 1 | -2/+2 |
| 2013-01-29 | Fix MASTER_SITES. | wiz | 1 | -2/+2 |
| 2013-01-26 | Revbump after graphics/jpeg and textproc/icu | adam | 1 | -1/+2 |
| 2013-01-22 | Updated lang/coq to the newest version, 8.4pl1. Changes include: | jaapb | 4 | -55/+7 |
| 2012-12-15 | Bump PKGREVISION from devel/nss 3.14.0. | ryoon | 1 | -2/+2 |
| 2012-11-16 | Updated package to add 'doc' option and (if given) build documentation, as | jaapb | 3 | -21/+944 |
| 2012-10-29 | Taken over maintainership (as discussed with previous maintainer, | jaapb | 9 | -101/+236 |
| 2012-10-08 | Revbump after updating graphics/pango | adam | 1 | -2/+2 |
| 2012-10-08 | Revision bump associated with the update of lang/ocaml to version 4. | jaapb | 1 | -2/+2 |
| 2012-10-02 | Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days. | asau | 1 | -3/+1 |
| 2012-10-02 | Mass recursive bump after the dependence fix of the "cairo" package | tron | 1 | -2/+2 |
| 2012-09-23 | natdynlink conditional should match the one of ocaml | tonio | 1 | -2/+1 |
| 2012-09-15 | recursive bump from libffi shlib major bump | obache | 1 | -2/+2 |
| 2012-09-07 | Revbump after updating graphics/cairo | adam | 1 | -2/+2 |
| 2012-07-15 | Recursive bump for startup-notification* dependency change, requested | wiz | 1 | -2/+2 |
| 2012-06-14 | Recursive PKGREVISION bump for libxml2 buildlink addition. | sbd | 1 | -2/+2 |
| 2012-04-27 | Recursive bump from icu shlib major bumped to 49. | obache | 1 | -2/+2 |
| 2012-03-06 | Recursive PKGREVISION bump for xulrunner, nss, and nspr. | ryoon | 1 | -2/+2 |
| 2012-03-03 | Recursive bump for pcre-8.30* (shlib major change) | wiz | 1 | -2/+2 |
| 2012-02-06 | Revbump for | wiz | 1 | -2/+2 |
| 2012-01-24 | Recursive dependency bump for databases/gdbm ABI_DEPENDS change. | sbd | 1 | -2/+2 |
| 2012-01-13 | Recursive bump from audio/libaudiofile, x11/qt4-libs and x11/qt4-tools ABI bump. | obache | 1 | -2/+2 |
| 2011-12-13 | lang/coq: Don't forget us | marino | 1 | -1/+2 |
| 2011-12-13 | Catch up to ocaml changes to enable natdynlink on NetBSD. | dholland | 1 | -2/+3 |
| 2011-12-06 | Recursive bump for lang/ocaml buildlink addition. | sbd | 1 | -2/+2 |
| 2011-11-01 | Recursive bump for graphics/freetype2 buildlink addition. | sbd | 1 | -2/+2 |
| 2011-04-22 | recursive bump from gettext-lib shlib bump. | obache | 1 | -1/+2 |
| 2011-03-28 | Update lang/coq to 8.3pl1 | tonio | 4 | -93/+7 |
| 2011-01-13 | png shlib name changed for png>=1.5.0, so bump PKGREVISIONs. | wiz | 1 | -2/+2 |
| 2010-11-15 | PKGREVISION bumps for changes to gtk2, librsvg, libbonobo and libgnome | abs | 1 | -1/+2 |
| 2010-11-14 | Update lang/coq to 8.3 | tonio | 9 | -423/+497 |
| 2010-11-07 | Make it build with newer gmake | tonio | 2 | -6/+20 |
| 2010-09-14 | Bump dependency on pixman to 0.18.4 because cairo-1.10 needs that | wiz | 1 | -2/+2 |
| 2010-06-13 | Bump PKGREVISION for libpng shlib name change. | wiz | 1 | -1/+2 |
| 2009-12-12 | Support staged installation. | asau | 3 | -2/+182 |
| 2009-09-05 | Update lang/coq to 8.2pl1 | tonio | 7 | -240/+498 |
| 2009-08-26 | bump revision because of graphics/jpeg update | sno | 1 | -2/+2 |
| 2009-06-14 | Replace @exec/@unexec with @pkgdir or drop it. | joerg | 1 | -2/+2 |
| 2009-06-14 | Remove @dirrm entries from PLISTs | joerg | 1 | -36/+1 |
| 2008-04-27 | Bunp PKGREVISION, as it requires rebuild with ocaml 3.10.2 and cmalp5 5.08 | tonio | 2 | -3/+4 |
| 2008-04-12 | Convert to use PLIST_VARS instead of manually passing "@comment " | jlam | 2 | -7/+6 |
| 2008-01-12 | Update lang/coq to 8.1pl3 | tonio | 3 | -21/+12 |
| 2007-12-01 | Update lang/coq to 8.2pl2 | tonio | 5 | -16/+42 |
| 2007-09-21 | Fix paths for GConf, libglade, libart, libsigc++, lablgtk moves. | wiz | 1 | -2/+3 |
| 2007-02-25 | Update lang/coq to 8.1 | tonio | 4 | -306/+160 |
| 2007-01-17 | Add an option "coqide" to enable the gtk2 ide of coq | tonio | 3 | -5/+19 |
| 2006-04-06 | Over 1200 files touched but no revisions bumped :) | reed | 1 | -2/+2 |
| 2006-02-05 | Recursive revision bump / recommended bump for gettext ABI change. | joerg | 1 | -1/+2 |
| 2006-01-27 | Update lang/coq to 8.0pl3 | tonio | 5 | -113/+99 |
