| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 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 |
| 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 |
