summaryrefslogtreecommitdiff
path: root/lang/coq
AgeCommit message (Expand)AuthorFilesLines
2015-01-20Revbump associated with update of lang/ocaml.jaapb1-2/+2
2014-10-10Changed package dependencies to reflect lablgtk name change.jaapb1-2/+2
2014-10-09Revbump because of ocaml 4.02, added compilation patch (already injaapb4-14/+27
2014-10-07Revbump after updating libwebp and icuadam1-1/+2
2014-05-13Update of package to version 8.4pl4. Changes include:jaapb3-32/+6
2014-05-05Recursive revbump from x11/pixmanryoon1-2/+2
2014-04-09recursive bump from icu shlib major bump.obache1-2/+2
2014-02-12Recursive PKGREVISION bump for OpenSSL API version bump.tron1-2/+2
2014-01-01Recursive PKGREVISION bump for libgcrypt-1.6.0 shlib major bump.wiz1-2/+2
2013-11-02natdynlink is supported on darwintonio1-1/+2
2013-10-30Install a LaTeX style file into texmf-dist, not texmf.minskim2-5/+5
2013-10-27Don't use -fno-defer-pop.joerg2-4/+13
2013-10-26Accept GNU Make 4 and later.asau2-1/+17
2013-10-19Revbump after updating textproc/icuadam1-2/+2
2013-10-10Recursive revbump from pango-1.36.0ryoon1-2/+2
2013-10-09recursive bump for libmng-2.0.2 shlib major bump and dependency changewiz1-2/+2
2013-09-02Revbump after cairo updateadam1-2/+2
2013-06-06Bump PKGREVISION for libXft changes for NetBSD native X support onwiz1-2/+2
2013-06-04Try to fix the fallout caused by the fix for PR pkg/47882. Part 3:tron1-2/+2
2013-06-03Bump freetype2 and fontconfig dependencies to current pkgsrc versions,wiz1-2/+2
2013-05-24Bump PKGREVISION for libproxy shlib major bump.wiz1-2/+2
2013-05-09Massive revbump after updating graphics/ilmbase, graphics/openexr, textproc/icu.adam1-1/+2
2013-04-20Updated package to the latest version, 8.4pl2. Changes include:jaapb2-7/+6
2013-02-16Recursive bump for png-1.6.wiz1-2/+2
2013-02-06PKGREVISION bumps for the security/openssl 1.0.1d update.jperkin1-2/+2
2013-01-29Fix MASTER_SITES.wiz1-2/+2
2013-01-26Revbump after graphics/jpeg and textproc/icuadam1-1/+2
2013-01-22Updated lang/coq to the newest version, 8.4pl1. Changes include:jaapb4-55/+7
2012-12-15Bump PKGREVISION from devel/nss 3.14.0.ryoon1-2/+2
2012-11-16Updated package to add 'doc' option and (if given) build documentation, asjaapb3-21/+944
2012-10-29Taken over maintainership (as discussed with previous maintainer,jaapb9-101/+236
2012-10-08Revbump after updating graphics/pangoadam1-2/+2
2012-10-08Revision bump associated with the update of lang/ocaml to version 4.jaapb1-2/+2
2012-10-02Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.asau1-3/+1
2012-10-02Mass recursive bump after the dependence fix of the "cairo" packagetron1-2/+2
2012-09-23natdynlink conditional should match the one of ocamltonio1-2/+1
2012-09-15recursive bump from libffi shlib major bumpobache1-2/+2
2012-09-07Revbump after updating graphics/cairoadam1-2/+2
2012-07-15Recursive bump for startup-notification* dependency change, requestedwiz1-2/+2
2012-06-14Recursive PKGREVISION bump for libxml2 buildlink addition.sbd1-2/+2
2012-04-27Recursive bump from icu shlib major bumped to 49.obache1-2/+2
2012-03-06Recursive PKGREVISION bump for xulrunner, nss, and nspr.ryoon1-2/+2
2012-03-03Recursive bump for pcre-8.30* (shlib major change)wiz1-2/+2
2012-02-06Revbump forwiz1-2/+2
2012-01-24Recursive dependency bump for databases/gdbm ABI_DEPENDS change.sbd1-2/+2
2012-01-13Recursive bump from audio/libaudiofile, x11/qt4-libs and x11/qt4-tools ABI bump.obache1-2/+2
2011-12-13lang/coq: Don't forget usmarino1-1/+2
2011-12-13Catch up to ocaml changes to enable natdynlink on NetBSD.dholland1-2/+3
2011-12-06Recursive bump for lang/ocaml buildlink addition.sbd1-2/+2
2011-11-01Recursive bump for graphics/freetype2 buildlink addition.sbd1-2/+2