index
:
pkgsrc
BMAKE
BZIP2
FREEBSD
FSF
KIENTZLE
MRENDEL
TNF
ZLIB
buildlink2
cube-native-xorg
cube_native_xorg
cwrapper
databases_pgbouncer
jlam-pkgviews
jlam_pkgviews
netbsd-1-6
netbsd-1-6-1
netbsd_1_6
netbsd_1_6_1
pkg_install-renovation
pkg_install_renovation
pkgsrc-
pkgsrc-2003Q4
pkgsrc-2004Q1
pkgsrc-2004Q2
pkgsrc-2004Q3
pkgsrc-2004Q4
pkgsrc-2005Q1
pkgsrc-2005Q2
pkgsrc-2005Q3
pkgsrc-2005Q4
pkgsrc-2006Q1
pkgsrc-2006Q2
pkgsrc-2006Q3
pkgsrc-2006Q4
pkgsrc-2007Q1
pkgsrc-2007Q2
pkgsrc-2007Q3
pkgsrc-2007Q4
pkgsrc-2008Q1
pkgsrc-2008Q2
pkgsrc-2008Q3
pkgsrc-2008Q4
pkgsrc-2009Q1
pkgsrc-2009Q2
pkgsrc-2009Q3
pkgsrc-2009Q4
pkgsrc-2010Q1
pkgsrc-2010Q2
pkgsrc-2010Q3
pkgsrc-2010Q4
pkgsrc-2011Q1
pkgsrc-2011Q2
pkgsrc-2011Q3
pkgsrc-2011Q4
pkgsrc-2012Q1
pkgsrc-2012Q2
pkgsrc-2012Q3
pkgsrc-2012Q4
pkgsrc-2013Q1
pkgsrc-2013Q2
pkgsrc-2013Q3
pkgsrc-2013Q4
pkgsrc-2014Q1
pkgsrc-2014Q2
pkgsrc-2014Q3
pkgsrc-2014Q4
pkgsrc-2015Q1
pkgsrc-2015Q2
pkgsrc-2015Q3
pkgsrc-2015Q4
pkgsrc-2016Q1
pkgsrc-2016Q2
pkgsrc-2016Q3
pkgsrc-2016Q4
pkgsrc-2017Q1
pkgsrc-2017Q2
pkgsrc-2017Q3
pkgsrc-2017Q4
pkgsrc-2018Q1
pkgsrc-2018Q2
pkgsrc-2018Q3
pkgsrc-2018Q4
pkgsrc-2019Q1
pkgsrc-2019Q2
pkgsrc-2019Q3
pkgsrc-2019Q4
pkgsrc-2020Q1
pkgsrc-2020Q2
pkgsrc-2020Q3
pkgsrc-2020Q4
pkgsrc-2021Q1
pkgsrc-2021Q2
pkgsrc-2021Q3
pkgsrc-2021Q4
pkgsrc-2022Q1
pkgsrc-2022Q2
pkgsrc-2022Q3
pkgsrc-pkgsrc-2019Q4
pkgsrc_2003Q4
pkgsrc_2004Q1
pkgsrc_2004Q2
pkgsrc_2004Q3
pkgsrc_2004Q4
pkgsrc_2005Q1
pkgsrc_2005Q2
pkgsrc_2005Q3
pkgsrc_2005Q4
pkgsrc_2006Q1
pkgsrc_2006Q2
pkgsrc_2006Q3
pkgsrc_2006Q4
pkgsrc_2007Q1
pkgsrc_2007Q2
pkgsrc_2007Q3
pkgsrc_2007Q4
pkgsrc_2008Q1
pkgsrc_2008Q2
pkgsrc_2008Q3
pkgsrc_2008Q4
pkgsrc_2009Q1
pkgsrc_2009Q2
pkgsrc_2009Q3
pkgsrc_2009Q4
pkgsrc_2010Q1
pkgsrc_2010Q2
pkgsrc_2010Q3
pkgsrc_2010Q4
pkgsrc_2011Q1
pkgsrc_2011Q2
pkgsrc_2011Q3
pkgsrc_2011Q4
pkgsrc_2012Q1
pkgsrc_2012Q2
pkgsrc_2012Q3
pkgsrc_2012Q4
pkgsrc_2013Q1
pkgsrc_2013Q2
pkgsrc_2013Q3
pkgsrc_2013Q4
pkgsrc_2014Q1
pkgsrc_2014Q2
pkgsrc_2014Q3
pkgsrc_2014Q4
pkgsrc_2015Q1
pkgsrc_2015Q2
pkgsrc_2015Q3
pkgsrc_2015Q4
pkgsrc_2016Q1
pkgsrc_2016Q2
pkgsrc_2016Q3
pkgsrc_2016Q4
pkgsrc_2017Q1
pkgsrc_2017Q2
pkgviews
pkgviews-mk
pkgviews_mk
tnftp
trunk
tv-derecurse
tv-libtool-1-5-18-tmpdirfix
tv_derecurse
tv_libtool_1_5_18_tmpdirfix
[no description]
Dyson
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lang
/
coq
Age
Commit message (
Expand
)
Author
Files
Lines
2022-08-11
Bump all dependent packages of wayland (belatedly)
gutteridge
1
-2
/
+2
2022-06-30
*: Revbump packages that use Python at runtime without a PKGNAME prefix
nia
1
-1
/
+2
2022-06-21
lang/coq: update to 8.15.2 to make it work with current ocaml.
dholland
10
-3459
/
+3288
2022-06-03
coq: mark as BROKEN because it does not support ocaml 4.14
wiz
1
-1
/
+3
2022-05-01
*: fix usage of versioned_dependencies
wiz
2
-4
/
+3
2022-04-18
revbump for textproc/icu update
adam
1
-2
/
+2
2021-12-08
revbump for icu and libffi
adam
1
-2
/
+2
2021-10-26
lang: Replace RMD160 checksums with BLAKE2s checksums
nia
1
-2
/
+2
2021-10-07
lang: Remove SHA1 hashes for distfiles
nia
1
-2
/
+1
2021-04-21
revbump for textproc/icu
adam
1
-2
/
+2
2021-03-08
Recursive revbump associated with update of lang/ocaml
jaapb
1
-1
/
+2
2021-02-09
take MAINTAINER, ok jaapb@
dholland
1
-2
/
+2
2021-02-09
Update lang/coq to 8.12.2.
dholland
6
-713
/
+2021
2020-11-05
*: Recursive revbump from textproc/icu-68.1
ryoon
1
-2
/
+2
2020-08-17
*: revbump after fontconfig bl3 changes (libuuid removal)
leot
1
-2
/
+2
2020-06-02
Revbump for icu
adam
1
-2
/
+2
2020-05-23
(lang/coq) Fix build: Remove no effective SUBST block
mef
1
-7
/
+1
2020-04-28
lang/coq: needs bash as tool
riastradh
1
-1
/
+2
2020-03-10
librsvg: update bl3.mk to remove libcroco in rust case
wiz
1
-2
/
+2
2020-03-08
*: recursive bump for libffi
wiz
1
-2
/
+2
2020-03-01
lang/coq now needs adwaita-icon-theme.
dholland
2
-2
/
+4
2020-01-24
Updated lang/coq to version 8.10.2.
jaapb
6
-116
/
+175
2020-01-18
*: Recursive revision bump for openssl 1.1.1.
jperkin
1
-2
/
+2
2019-11-03
lang: align variable assignments
rillig
2
-59
/
+59
2019-09-02
Rewrite PYTHON_VERSIONS_ACCEPTED to PYTHON_VERSIONS_INCOMPATIBLE
adam
1
-2
/
+2
2019-09-01
coq: patch to build with ocaml 4.08
markd
3
-3
/
+19
2019-07-21
*: recursive bump for gdk-pixbuf2-2.38.1
wiz
1
-2
/
+2
2019-07-20
*: recursive bump for nettle 3.5.1
wiz
1
-1
/
+2
2019-05-23
Updated lang/coq to version 8.9.1.
jaapb
2
-8
/
+7
2019-05-05
Recursive rebvump from devel/nss
ryoon
1
-2
/
+2
2019-04-26
More packages wave bye-bye to python34 and python35
roy
1
-2
/
+2
2019-04-25
PKGREVISION bump for anything using python without a PYPKGPREFIX.
maya
1
-2
/
+2
2019-04-03
Recursive revbump from textproc/icu
ryoon
1
-1
/
+2
2019-03-06
Updated lang/coq to version 8.9.0.
jaapb
5
-2130
/
+2202
2018-12-09
revbump after updating textproc/icu
adam
1
-2
/
+2
2018-11-29
Revbump for libcanberra gstreamer change.
prlw1
1
-2
/
+2
2018-11-14
Revbump after cairo 1.16.0 update.
kleink
1
-2
/
+2
2018-11-12
Recursive revbump from hardbuzz-2.1.1
ryoon
1
-2
/
+2
2018-10-24
*: (belatedly) revbump for net/libsoup update
leot
1
-1
/
+2
2018-08-02
Updated package lang/coq to version 8.8.1.
jaapb
4
-192
/
+437
2018-07-20
Recursive revbump from textproc/icu-62.1
ryoon
1
-2
/
+2
2018-06-16
coq: always installs coqdoc.sty in tex tree.
markd
1
-2
/
+2
2018-04-17
Add p11-kit to gnutls/bl3.mk and bump dependencies.
wiz
1
-2
/
+2
2018-04-16
Recursive bump for new fribidi dependency in pango.
wiz
1
-2
/
+2
2018-04-14
revbump after icu update
adam
1
-1
/
+2
2018-04-09
Updated lang/coq to version 8.7.2.
jaapb
3
-11
/
+37
2018-03-12
Recursive bumps for fontconfig and libzip dependency changes.
wiz
1
-2
/
+2
2018-01-28
Bump PKGREVISION for gdbm shlib major bump
wiz
1
-1
/
+2
2018-01-22
Corrected PLIST for lang/coq
jaapb
1
-3
/
+2
2018-01-10
Updated package lang/coq to version 8.7.1.
jaapb
6
-109
/
+587
[next]