summaryrefslogtreecommitdiff
path: root/lang/coq
AgeCommit message (Expand)AuthorFilesLines
2018-12-09revbump after updating textproc/icuadam1-2/+2
2018-11-29Revbump for libcanberra gstreamer change.prlw11-2/+2
2018-11-14Revbump after cairo 1.16.0 update.kleink1-2/+2
2018-11-12Recursive revbump from hardbuzz-2.1.1ryoon1-2/+2
2018-10-24*: (belatedly) revbump for net/libsoup updateleot1-1/+2
2018-08-02Updated package lang/coq to version 8.8.1.jaapb4-192/+437
2018-07-20Recursive revbump from textproc/icu-62.1ryoon1-2/+2
2018-06-16coq: always installs coqdoc.sty in tex tree.markd1-2/+2
2018-04-17Add p11-kit to gnutls/bl3.mk and bump dependencies.wiz1-2/+2
2018-04-16Recursive bump for new fribidi dependency in pango.wiz1-2/+2
2018-04-14revbump after icu updateadam1-1/+2
2018-04-09Updated lang/coq to version 8.7.2.jaapb3-11/+37
2018-03-12Recursive bumps for fontconfig and libzip dependency changes.wiz1-2/+2
2018-01-28Bump PKGREVISION for gdbm shlib major bumpwiz1-1/+2
2018-01-22Corrected PLIST for lang/coqjaapb1-3/+2
2018-01-10Updated package lang/coq to version 8.7.1.jaapb6-109/+587
2018-01-01Sort PLIST files.rillig1-26/+23
2017-11-30Revbump after textproc/icu updateadam1-2/+2
2017-11-23recursive bump for libxkbcommon removal from at-spi2-corewiz1-1/+2
2017-11-03Updated lang/coq to version 8.7.0.jaapb5-357/+233
2017-09-18revbump for requiring ICU 59.xmaya1-1/+2
2017-09-08Updated package to latest version, 8.6.1. Changes include:jaapb3-1981/+2010
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:jaapb6-172/+164
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 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