Age | Commit message (Expand) | Author | Files | Lines |
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 |
2006-01-16 | Make lang/coq compile with ocaml 3.09 | tonio | 3 | -11/+26 |
2005-05-22 | Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions: | jlam | 1 | -2/+2 |
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 |