summaryrefslogtreecommitdiff
path: root/lang/coq/Makefile
AgeCommit message (Expand)AuthorFilesLines
2017-09-18revbump for requiring ICU 59.xmaya1-1/+2
2017-09-08Updated package to latest version, 8.6.1. Changes include:jaapb1-3/+7
2017-07-11Revbump associated with ocaml-4.04.2jaapb1-2/+2
2017-04-22Revbump after icu updateadam1-2/+2
2017-02-12Recursive revbump from fonts/harfbuzzryoon1-2/+2
2017-02-06Recursive bump for harfbuzz's new graphite2 dependency.wiz1-1/+2
2017-01-12Added dependency on camlp4jaapb1-1/+2
2016-12-30Updated coq to latest version, 8.6. Changes include:jaapb1-4/+2
2016-12-04Recursive revbump from textproc/icu 58.1ryoon1-2/+2
2016-08-03Revbump after graphics/gd updateadam1-1/+2
2016-07-02Updated package to latest version, 8.5pl1. Also fixed a packaging bugjaapb1-3/+8
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 linesjaapb1-5/+3
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 (apartjaapb1-3/+2
2015-04-06Revbump after updating textproc/icuadam1-2/+2
2015-01-20Revbump associated with update of lang/ocaml.jaapb1-2/+2
2014-10-09Revbump because of ocaml 4.02, added compilation patch (already injaapb1-8/+6
2014-10-07Revbump after updating libwebp and icuadam1-1/+2
2014-05-13Update of package to version 8.4pl4. Changes include:jaapb1-3/+2
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.minskim1-3/+3
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:jaapb1-3/+2
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:jaapb1-4/+3
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, asjaapb1-17/+10
2012-10-29Taken over maintainership (as discussed with previous maintainer,jaapb1-9/+21
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-04 07:29:36 +0000