summaryrefslogtreecommitdiff
path: root/lang/coq
AgeCommit message (Expand)AuthorFilesLines
2016-08-03Revbump after graphics/gd updateadam1-1/+2
2016-07-02Updated package to latest version, 8.5pl1. Also fixed a packaging bugjaapb4-13/+28
2016-05-05Recursive revbump associated with ocaml update.jaapb1-2/+2
2016-05-03revbump for libsoup's ABI issueprlw11-2/+2
2016-04-11Recursive revbump from textproc/icu 57.1ryoon1-2/+2
2016-03-05Bump PKGREVISION for security/openssl ABI bump.jperkin1-1/+2
2016-02-06Updated package to latest version, 8.5. The changeset is over 500 linesjaapb6-206/+3211
2015-12-29pkglintdholland2-3/+4
2015-12-29Sort.dholland1-4/+4
2015-11-03Add SHA512 digests for distfiles for lang categoryagc1-1/+2
2015-10-10Recursive revbump from textproc/icuryoon1-2/+2
2015-09-07Now that _STRIPFLAG_INSTALL is disabled by default on Darwin, remove manualjperkin1-9/+1
2015-08-07Recursive revbump associated with lang/ocaml update.jaapb1-2/+2
2015-06-30Recursive revbump associated with update of lang/ocaml to 4.02.2.jaapb1-1/+2
2015-04-25Updated coq to version 8.4pl6. Changes from previous version include (apartjaapb4-23/+8
2015-04-06Revbump after updating textproc/icuadam1-2/+2
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