summaryrefslogtreecommitdiff
path: root/lang/coq/Makefile
AgeCommit message (Expand)AuthorFilesLines
2022-11-23massive revision bump after textproc/icu updateadam1-2/+2
2022-08-11Bump all dependent packages of wayland (belatedly)gutteridge1-2/+2
2022-06-30*: Revbump packages that use Python at runtime without a PKGNAME prefixnia1-1/+2
2022-06-21lang/coq: update to 8.15.2 to make it work with current ocaml.dholland1-15/+17
2022-06-03coq: mark as BROKEN because it does not support ocaml 4.14wiz1-1/+3
2022-05-01*: fix usage of versioned_dependencieswiz1-2/+1
2022-04-18revbump for textproc/icu updateadam1-2/+2
2021-12-08revbump for icu and libffiadam1-2/+2
2021-04-21revbump for textproc/icuadam1-2/+2
2021-03-08Recursive revbump associated with update of lang/ocamljaapb1-1/+2
2021-02-09take MAINTAINER, ok jaapb@dholland1-2/+2
2021-02-09Update lang/coq to 8.12.2.dholland1-3/+8
2020-11-05*: Recursive revbump from textproc/icu-68.1ryoon1-2/+2
2020-08-17*: revbump after fontconfig bl3 changes (libuuid removal)leot1-2/+2
2020-06-02Revbump for icuadam1-2/+2
2020-05-23(lang/coq) Fix build: Remove no effective SUBST blockmef1-7/+1
2020-04-28lang/coq: needs bash as toolriastradh1-1/+2
2020-03-10librsvg: update bl3.mk to remove libcroco in rust casewiz1-2/+2
2020-03-08*: recursive bump for libffiwiz1-2/+2
2020-03-01lang/coq now needs adwaita-icon-theme.dholland1-1/+2
2020-01-24Updated lang/coq to version 8.10.2.jaapb1-9/+9
2020-01-18*: Recursive revision bump for openssl 1.1.1.jperkin1-2/+2
2019-11-03lang: align variable assignmentsrillig1-16/+16
2019-09-01coq: patch to build with ocaml 4.08markd1-2/+2
2019-07-21*: recursive bump for gdk-pixbuf2-2.38.1wiz1-2/+2
2019-07-20*: recursive bump for nettle 3.5.1wiz1-1/+2
2019-05-23Updated lang/coq to version 8.9.1.jaapb1-3/+2
2019-05-05Recursive rebvump from devel/nssryoon1-2/+2
2019-04-25PKGREVISION bump for anything using python without a PYPKGPREFIX.maya1-2/+2
2019-04-03Recursive revbump from textproc/icuryoon1-1/+2
2019-03-06Updated lang/coq to version 8.9.0.jaapb1-12/+8
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.jaapb1-6/+8
2018-07-20Recursive revbump from textproc/icu-62.1ryoon1-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.jaapb1-4/+6
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-10Updated package lang/coq to version 8.7.1.jaapb1-4/+3
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.jaapb1-5/+17
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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-24 00:18:37 +0000