CVE and update status of the FreeBSD ports tree4,826 unaddressed CVEs in 618 portsAll times are CET

Port details

math/coq8.20.1_3,3

Theorem prover based on lambda-C

Maintainer
ports@FreeBSD.org
Packages
coq 8.20.1_3,3
Upstream
Higher version available: 9.2.0
CPE
none, CVEs only via VuXML
WWW
https://coq.inria.fr/
Links
cgit · VuXML

Unaddressed (0) · The CVE record lists this version as affected, no VuXML entry names the CVE

None. There is no CVE without a VuXML entry for this version.

VuXML only (0) · listed, port not fixed yet

None. pkg audit reports nothing for this version.

Fixed (0)

No VuXML entries for this package.

Commits (106)

Joseph Mingrone (jrm) · 8.20.1_3,3
math/coq: Remove USES=emacs and associated flavors

Upstream removed all elisp files in 2018:
https://github.com/rocq-prover/rocq/commit/41d597866d4f79fe5109c25c6f5cc57d0ebf7f0f

Since there will no longer be coq-emacs_* packages, add an UPDATING
entry with migration instructions.

Sponsored by: The FreeBSD Foundation
dbcf335fdb
Mark Linimon (linimon) · 8.20.1_2,3
math/coq: reset maintainer

Reset maintainer due to timeout (https://bugs.freebsd.org/283111).

Hat:		bugmeister
48fcf99acb
Yasuhiro Kimura (yasu) · 8.20.1_2,3
editors/emacs: Update to 30.2

* Replace '30.1' in Mk/Uses/emacs.mk with '30.2'.
* Bump PORTREVISION of dependent ports.

ChangLog:	https://cgit.git.savannah.gnu.org/cgit/emacs.git/tree/etc/NEWS?h=emacs-30.2
Reviewed by:	jrm
Differential Revision:	https://reviews.freebsd.org/D51906
41e3c046e7
Charlie Li (vishwin) · 8.20.1_1,3
gnome.mk: rename gdkpixbuf2 to gdkpixbuf to prepare for port move

The GTK 1-based gdk-pixbuf has not existed for some time.

No functional or package changes.
e87d8134a3
Joseph Mingrone (jrm) · 8.20.1_1,3
*/*: Chase editors/emacs update

Sponsored by:	The FreeBSD Foundation
12940d868a
Wen Heping (wen) · 8.20.1,3
math/coq: Update to 8.20.1

PR:		283111
Reported by:	wenheping2000@hotmail.com
Approved by:	maintainer(timeout, > 60 days)
c3734cabb4
Muhammad Moinur Rahman (bofh) · 8.19_4,3
Mk/**ocaml.mk: Convert remaining bsd.ocaml.mk to Uses/ocaml.mk

- Instead of USE_OCAML=yes use USES=ocaml. If empty USES=ocaml implies
  build and run
- Instead of USE_OCAMLFIND_PLIST use USES=ocaml:findplist which also
  implies USES=ocaml:findlib
- Instead of USE_OCAML_CAMLP4 use USES=ocaml:camlp4
- Instead of USE_OCAML_FINDLIB use USES=ocaml:findlib
- Instead of USE_OCAML_LDCONFIG use USES=ocaml:ldconfig
- Instead of USE_OCAML_WASH use USES=ocaml:wash
- Instead of NO_OCAML_BUILDDEPENDS use USES=ocaml:run
- Instead of NO_OCAML_RUNDDEPENDS use USES=ocaml:build
- Instead of USE_OCAML_TK use USES=ocaml:tk which actually implies
  USES=ocaml:tkbuild and USES=ocaml:tkrun
- Instead of NO_OCAMLTK_BUILDDEPENDS use USES=ocaml:tkrun
- Instead of NO_OCAMLTK_RUNDEPENDS use USES=ocaml:tkbuild
- USES=ocaml:dune remains unchanged
- Prepare to add/remove keywords easily

Approved by: mat (portmgr)
Reviewed by: freebsd@dev.thsi.be
Differential Revision: https://reviews.freebsd.org/D48227
c79c88017b
Joseph Mingrone (jrm) · 8.19_4,3
Chase major version update of editors/emacs-devel

Bump PORTREVISION of most USES=emacs ports after editors/emacs-devel
major version increased from 30 to 31.

Sponsored by:	The FreeBSD Foundation
b946d410cc
Joseph Mingrone (jrm) · 8.19_3,3
Chase editors/emacs update to 29.4

- Bump Emacs version in Mk/Uses/emacs.mk to update version-specific
  paths
- Bump PORTREVISION of ports with USES=emacs.  This is required for two
  reasons.  Emacs lisp files need to be byte compiled for the new Emacs
  version, and files installed under, e.g., EMACS_VERSION_SITE_LISPDIR
  need to be relocated.

Reviewed by:	ashish, yasu
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D45705
3213a3f54a
Guido Falsi (madpilot) · 8.19_2,3
ocaml: Updates to ocaml compiler and several ocaml ports

- Update devel/ocaml to 4.14.2 [1]
- Specify runtime dependency on GNU AS as full path, this fixes
  build on armv6 - armv7 [1] [2]
- converters/ocaml-base64: Update to 3.5.1, add LICENSE, other
  improvements
- converters/ocaml-jsonm: Strip shared objects [3]
- databases/ocaml-dbm: Update to 1.3, move to gitlub, other
  improvements
- devel/menhir: Update to 20231231
- devel/ocaml-base: Unbreak non-x86 [2]
- devel/ocaml-camlp-streams: Silence patch and strip commands
- devel/ocaml-ipaddr: Update to 5.5.0
- devel/ocaml-lwt: Update to 5.7.0 [4]
- devel/ocaml-result: Set package version, strip shared objects [5]
- devel/ocaml-sexplib: Resurrect and update to 0.16.0.
- devel/ocaml-stdio: Update to 0.17.0
- security/ocaml-cryptokit: Update to 1.19, add LICENSE, other
  improvements
- security/ocaml-ssl: Update to 0.7.0, install stublibs in package
  directory [6]
- x11-toolkits/ocaml-graphics: Reorder Makefile, silence patch
  command
- Bump PORTREVISION on ports requiring it after update.

Adding ports:

- devel/ocaml-cstruct
- devel/ocaml-compiler-libs [7]
- devel/ocaml-ppx_derivers [7]
- devel/ocaml-ppxlib [7]
- devel/ocaml-domain-name
- devel/ocaml-ocplib-endian [8]
- devel/ocaml-parsexp
- devel/ocaml-ppx_sexp_conv
- security/ocaml-lwt_ssl [9]

Resetting maintainership from michipili@gmail.com due to multiple
timeouts and long term unresponsiveness.

Assigning maintainership of lang/ocaml to author of this patch.
Many thanks to him for his work!

PR:			278300 [1], 278791 [2], 277818 [3], 277781 [4],
			277775 [6], 277779 [7], 277780 [8], 277782 [9]
Approved by:		michipili@gmail.com (maintainer timeout) [1],
			danfe@FreeBSD.org (maintainer timeout) [3] [4] [6],
			fixit, avoid breakage [5]
Differential Revision:	https://reviews.freebsd.org/D45254
bb2bea65db
Joseph Mingrone (jrm) · 8.19_1,3
Chase editors/emacs update

- Bump Emacs version in Mk/Uses/emacs.mk to update version-specific
  paths
- Bump PORTREVISION of ports with USES=emacs.  This is required for two
  reasons.  Emacs lisp files need to be byte compiled for the new Emacs
  version, and files installed under, e.g., EMACS_VERSION_SITE_LISPDIR
  need to be relocated.

Reviewed by:	ashish
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D44492
26421ac37c
Guido Falsi (madpilot) · 8.19,3
lang/ocaml: Update to 4.14.1

The 'force-safe-string; setting is NOT enabled, as opposed to the
new upstream default. OCaml users are encouraged to migrate to safe
strings as soon as possible.

- The X11 library isn't part of lang/ocaml anymore, users should
install x11-toolkits/ocaml-graphics.
- Add new 'ocaml' USES
- Bump PORTREVISION on dependent ports, due to ABI Change.

The update includes the following updates to existing ports (needed
to keep them working):

- devel/ocaml-camlp4: Updated to 4.14+1
- devel/ocaml-camlp5: Updated to 8.02.01, homepage updated
- devel/ocaml-dune: Patch to allow overriding the stublibs directory,
  strip binary and shared libraries
- devel/ocaml-findlib: Improve port
- devel/ocaml-lwt: Fix build with OCaml 4.14
- deve/ocaml-re: Update to 1.11.0, use new dune USES
- devel/ocaml-sdl: Fix build with new ocaml
- games/freetennis: Fix build, tidy Makefile
- graphics/ocaml-images: Updated to 5.0.4, new homepage, use new
  dune USES, undeprecate
- graphics/ocaml-lablgl: Moved into site-lib, dynamic objects
  stripped, add missing GL dependencies
- math/coq: Updated to 8.19.0
- math/ocaml-zarith: strip shared libraries, fixed usage of
  USE_OCAML_LDCONFIG, use new dune USES
- math/teyjus: Fix build
- net/unison240: Fix build with new compiler
- net/unison248: Fix build with new compiler, add MAKE_JOBS_UNSAFE
- net-p2p/mldonkey: Fix build with new compiler, fix build on i386
- sysutils/ledit: Updated to 2.06, install native binary, Use github,
  fix man page installation
- www/geneweb: Build fix for OCaml and Camlp5 updates
- x11-toolkits/ocaml-lablgtk2: Fix build with new compiler
- x11-toolkits/ocaml-lablgtk3: Updated to 3.1.4, added ocaml-camlp-stream
  dependency, build fix patch
- x11-toolkits/ocaml-labltk: Updated to 8.06.12, Improve Makefile

Added the following ports:

- devel/ocaml-astring
- devel/ocaml-base
- devel/ocaml-bos
- devel/ocaml-camlp-streams
- devel/ocaml-csexp
- devel/ocaml-fmt
- devel/ocaml-fpath
- devel/ocaml-logs
- devel/ocaml-mtime
- devel/ocaml-pcre2
- devel/ocaml-rresult
- devel/ocaml-seq
- devel/ocaml-stdio
- x11-toolkits/ocaml-graphics

PR:                     250408 [1], 262781 [1], 262788 [3], 262789 [1],
			262792 [1], 263006 [1], 263162 [3], 263206 [2],
			276893 [1], 276945 [4], 276953 [1], 277026 [5],
			277241 [1], 277242 [1], 277243 [1], 277244 [1],
			277245 [1], 277246 [1], 277247 [1], 277248 [1],
			277249 [1], 277250 [1], 277251 [1], 277252 [1],
			277253 [1], 277254 [1], 277255 [1], 277256 [4],
			277257 [1], 277258 [1]
Approved by:		maintainer timeout [1],
			yuri (maintainer) [2],
			overcome by events, fixit [3],
			madpilot (maintainer) [4]
Reviewed by:		madpilot
Exp-run by:		antoine [5]
Differential Revision:	https://reviews.freebsd.org/D43861
8025aa10ce
Joseph Mingrone (jrm) · 8.6_20,3
*/*: Chase editors/emacs update

- Bump Emacs version in Mk/Uses/emacs.mk to update version-specific
  paths

- Bump PORTREVISION of ports with USES=emacs.  This is required for two
  reasons.  Emacs lisp files need to be byte compiled for the new Emacs
  version, and files installed under, e.g., EMACS_VERSION_SITE_LISPDIR
  need to be relocated.

Reviewed by:	ashish
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D43615
ab463bdca9
Yasuhiro Kimura (yasu) · 8.6_19,3
editors/emacs: Update to 29.1

* Update Canna patch to the one for Emacs 29.
* Add new options PGTK, SQLITE3, TREESITTER and WEBP. SQLITE3 and
  TREESITTER are ON by default. PGTK and WEBP options are excluded
  from nox flavor.
* CARGO option doesn't imply XFT but prevents it. It is caused as a
  result of adding pure GTK support (PGTK option).
* OTK options doesn't imply XTF any more. It is also caused as a
  result of adding pure GTK support.
* Update NATIVECOMP option so it specifies ahead-of-time compilation
  via the configure argument.
* Remove "experimental" from NATIVECOMP_DESC.
* Add print/freetype2 and x11-fonts/fontconfig to CAIRO_LIB_DEPENDS
  and GTK3_LIB_DEPENDS. Necessary to link emacs binary with shared
  libraries.
* When PGTK option is ON and SCROLLBARS is OFF, configure fails as
  following

  ----------------------------------------------------------------------
  checking for gnutls >= 2.12.2... yes
  checking for jansson >= 2.7... yes
  checking for tree-sitter >= 0.20.2... yes
  checking for libkqueue... no
  checking for library containing kqueue... none required
  configure: error: Non-toolkit scroll bars are not implemented for your system
  ----------------------------------------------------------------------

  So add SCROLLBARS to PGTK_IMPLIES to avoid such options setting.
* When MODULES option is OFF and TREESITTER is ON, link error happens
  as following.

  ----------------------------------------------------------------------
  cc -o temacs.tmp \
    -Demacs  -I. -I. -I../lib -I../lib   -I/usr/local/include   -I/usr/local/include/librsvg-2.0 -I/usr/local/include/glib-2.0 -I/usr/local/lib/glib-2.0/include -I/usr/local/include -I/usr/local/include/gdk-pixbuf-2.0 -pthread -I/usr/local/include/cairo -I/usr/local/include/pixman-1 -I/usr/local/include/freetype2 -I/usr/local/include/libpng16 -D_THREAD_SAFE   -I/usr/local/include/libpng16  -I/usr/local/include/libxml2   -I/usr/local/include/dbus-1.0 -I/usr/local/lib/dbus-1.0/include  -I/usr/local/include -D_THREAD_SAFE  -I/usr/local/include -D_THREAD_SAFE  -I/usr/local/include -D_THREAD_SAFE   -I/usr/local/include -D_THREAD_SAFE  -I/usr/local/include -I/usr/local/include/webp   -I/usr/local/include  -I/usr/local/include -I/usr/local/include/glib-2.0 -I/usr/local/lib/glib-2.0/include -pthread  -I/usr/local/include -I/usr/local/include/glib-2.0 -I/usr/local/lib/glib-2.0/include  -I/usr/local/include/freetype2 -I/usr/local/include/libpng16 -I/usr/local/include  -I/usr/local/include -I/usr/local/include/freetype2 -I/usr/local/include/libpng16  -I/usr/local/include/harfbuzz -I/usr/local/include/freetype2 -I/usr/local/include/libpng16 -I/usr/local/include -I/usr/local/include/glib-2.0 -I/usr/local/lib/glib-2.0/include    -MMD -MF deps/.d -MP  -I/usr/local/include   -I/usr/local/include  -I/usr/local/include -I/usr/local/include/p11-kit-1   -I/usr/local/include/cairo -I/usr/local/include -I/usr/local/include/glib-2.0 -I/usr/local/lib/glib-2.0/include -I/usr/local/include/pixman-1 -I/usr/local/include/freetype2 -I/usr/local/include/libpng16 -D_THREAD_SAFE      -Wno-switch -Wno-pointer-sign -Wno-string-plus-int -Wno-unknown-attributes -Wno-unknown-pragmas -Wno-initializer-overrides -Wno-tautological-compare -Wno-tautological-constant-out-of-range-compare -O2 -pipe  -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing  -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing  -isystem /usr/local/include    -fstack-protector-strong -L/usr/local/lib  -L/usr/local/lib \
      dispnew.o frame.o scroll.o xdisp.o menu.o xmenu.o window.o charset.o coding.o category.o ccl.o character.o chartab.o bidi.o cm.o term.o terminal.o xfaces.o xterm.o xfns.o xselect.o xrdb.o xsmfns.o xsettings.o  dbusbind.o emacs.o keyboard.o macros.o keymap.o sysdep.o bignum.o buffer.o filelock.o insdel.o marker.o minibuf.o fileio.o dired.o cmds.o casetab.o casefiddle.o indent.o search.o regex-emacs.o undo.o alloc.o pdumper.o data.o doc.o editfns.o callint.o eval.o floatfns.o fns.o sort.o font.o print.o lread.o  syntax.o  bytecode.o comp.o  process.o gnutls.o callproc.o region-cache.o sound.o timefns.o atimer.o doprnt.o intervals.o textprop.o composite.o xml.o lcms.o kqueue.o  profiler.o decompress.o thread.o systhread.o sqlite.o  treesit.o itree.o      xfont.o ftfont.o ftcrfont.o hbfont.o  fontset.o fringe.o image.o xgselect.o json.o     terminfo.o lastfile.o      ../lib/libgnu.a      ../oldXMenu/libXMenu11.a  -ltiff -ljpeg -L/usr/local/lib -lpng16  -lgif  -L/usr/local/lib -lwebpdemux -lwebpdecoder   -lSM -lICE -lX11   -lXrender  -L/usr/local/lib -lrsvg-2 -lm -lgio-2.0 -lgdk_pixbuf-2.0 -lgobject-2.0 -lglib-2.0 -lintl -lcairo        -lrt -L/usr/local/lib -ldbus-1  -lexecinfo -L/usr/local/lib -lXrandr  -L/usr/local/lib -lXinerama  -L/usr/local/lib -lXfixes  -lXext -lXext -L/usr/local/lib -lxml2   -lutil -L/usr/local/lib -lcairo  -lncurses  -L/usr/local/lib -lgio-2.0 -lgobject-2.0 -lglib-2.0 -lintl  -L/usr/local/lib -lgobject-2.0 -lglib-2.0 -lintl   -L/usr/local/lib -lfreetype  -L/usr/local/lib -lfontconfig -lfreetype  -L/usr/local/lib -lharfbuzz    -L/usr/local/lib -lgnutls  -lpthread  -L/usr/local/lib -llcms2 -llcms2_fast_float -llcms2_threaded   -lm -lz   -L/usr/local/lib -ljansson  -lgmp  -L/usr/local/lib -lXi   -L/usr/local/lib -ltree-sitter  -lsqlite3 -lXcomposite -lXext
  ld: error: undefined symbol: dynlib_error
  >>> referenced by treesit.c
  >>>               treesit.o:(treesit_load_language)
  >>> referenced by treesit.c
  >>>               treesit.o:(treesit_load_language)
  >>> referenced by treesit.c
  >>>               treesit.o:(treesit_load_language)
  >>> referenced 1 more times

  ld: error: undefined symbol: dynlib_sym
  >>> referenced by treesit.c
  >>>               treesit.o:(treesit_load_language)

  ld: error: undefined symbol: dynlib_open
  >>> referenced by treesit.c
  >>>               treesit.o:(treesit_load_language)
  cc: error: linker command failed with exit code 1 (use -v to see invocation)
  ----------------------------------------------------------------------

  So add MODULES to TREESITTER_IMPLIES to avoid such options setting.
  * Bump PORTREVISION of ports that use "USES=emacs".

ChangeLog:	https://git.savannah.gnu.org/cgit/emacs.git/tree/etc/NEWS?h=emacs-29.1
Reviewed by:	ashish, jrm
Differential Revision:	https://reviews.freebsd.org/D41444
ba4eb3a50e
Guido Falsi (madpilot) · 8.6_18,3
lang/ocaml: Update to 4.08.1

This update allows (and for some requires) to also update dependencies
to newer versions. Where possible I updated to the latest version.

The ocaml port now is MAKE_JOBS safe.

Changes to dependent ports included in this commit:

- devel/ocaml-sexplib: Rename to devel/ocaml-sexplib0 adapting to
  upstream. Update to 0.16.0
- devel/coccinelle: Update to 1.1.1, moved to github
- devel/ocaml-camlp4: Update to 4.08+1
- devel/ocaml-camomile: Use dune for build, adapt port
- devel/ocaml-cppo: Fix lib files installation [1]
- devel/ocaml-dune: Update to 3.7.1 [2]
- devel/ocaml-findlib: Update to 1.9.6 [3]
- devel/ocaml-ipaddr: Update to 3.1.0
- devel/ocaml-parmap: Update to 1.2.4, use dune for build [4]
- devel/ocaml-ppx-tools: Update to 6.6, use dune for build
- graphics/ocaml-cairo: Update to 0.6.4
- net-p2p/mldonkey: Update to 3.1.7-2 [2]
- net/unison: Remove ocaml 4.07 compatibility patches
- net/unison232: Mark broken, fails to build with newer ocaml [5]
- security/ocaml-ssl: Update to 0.5.13 [2]
- x11-toolkits/ocaml-labltk: Update to 8.06.7 [2]

Dune now requires full path as argument to --libdir, so various
ports have been patched accordingly.

Bumping PORTREVISION for all dependent ports that were not updated.

PR:			272067
Approved by:		michipili@gmail.com (maintainer timeout),
			eduardo (maintainer timeout) [1],
			danfe [2],
			hrs (maintainer timeout) [3],
			dumbbell (maintainer timeout) [4],
			mandree (implicit) [5]
Differential Revision:	https://reviews.freebsd.org/D40599
2b40e46093
Gerald Pfeifer (gerald) · 8.6_17,3
*: Bump PORTREVISIONs for math/mpc update to 1.3.1
8d3e020ed0
Muhammad Moinur Rahman (bofh) · 8.6_15,3
*/tex*: Update version 20210325=>20230313

- devel/tex-kpathsea: Update version 6.3.3=>6.3.5
- print/texlive-tlmgr: Update version 20210325=>20230313
  * Add LICENSE GPLv2
- devel/tex-libtexlua: Update distinfo from 20230313 dists
- devel/tex-libtexluajit: Update distinfo from 20230313 dists
- print/tex-ptexenc: Update version 1.3.9=>1.4.3
  * Pet portclippy
- devel/tex-web2c: Update version 20210325=>20230313
- devel/tex-synctex: Update distinfo from 20230313 dists
- print/tex-basic-engines: Update version 20210325=>20230313
- print/texlive-base: Update version 20210325=>20230313
- print/texlive-docs: Update version 20210325=>20230313
- print/texlive-full: Update version 20210325=>20230313
- print/texlive-texmf: Update version 20210325=>20230313
- print/texlive-texmf-source: Update version 20210325=>20230313
- print/latex-biber: Update version 2.16=>2.19
- print/tex-dvipdfmax: Update version 20210325=>20230313
- print/tex-dvipsk: Update version 2021.1=>2023.1
- print/tex-formats: Update version 20210325=>20230313
- print/tex-jadetex: Update distinfo from 20230313 dists
- print/tex-luatex: Update version 1.12.0=>1.16.0
- print/tex-xetex: Update distinfo from 20230313 dists
- print/tex-xmltex: Update distinfo from 20230313 dists
- japanese/tex-ptex: Fix build
  * Remove ConTeXt format
- textproc/foiltex: Update MASTER_SITES
  * Adopt port
- There are multiple ports which uses the macro USE_TEX=texmf that is
  downloading a big DISTFILE. Unfortunately it is not possible for me to
  test all the consumers in runtime. So in the following ports I have
  removed USE_TEX=texmf so that someone who uses those can report the
  runtime files those are missing. If possible(based on LICENSE
  permission) I will try to create a smaller distfile out of the
  texlive-20230313-texmf and change dependency accordingly otherwise
  will reinstate USE_TEX=texmf. The list of ports that are affected are
  following:
  * arabic/arabtex
  * graphics/epix
  * math/cadabra2
  * math/coq
  * math/gnuplot-tex-extras
  * net-mgmt/netmagis-www
  * print/dvisvg
  * print/lilypond
  * print/mftrace
  * print/tex-xdvik
  * print/latex-beamer

Sponsored by:	Nepustil
24e24a1956
Tobias C. Berner (tcberner) · 8.6_14,3
accessibility/at-spi2-core: update to 2.46.0

What's new in at-spi2-core 2.46.0:
* Fix GetInterfaces documentation on org.a11y.atspi.Accessible
  interface.

What's new in at-spi2-core 2.45.91:
* Send device event controller events using the same signature as other
  events.
* Document the Accessible, Action, and Cache dbus interfaces.
* Fix license of atspi-gmain.c (#87).

What's new in at-spi2-core 2.45.90:
* xml: Add some documentation.
* xml: Fix event arguments.
* xml: Add some missing DeviceEventController methods.
* Bind the AT-SPI bus to the graphical session.
* Mark bus service as belonging to the session slice.
* Add ATSPI_ROLE_PUSH_BUTTON_MENU.
* Add an "announcement" event/signal to allow objects to send
  notifications (!63).
* Various code clean-ups and test improvements.

What's new in at-spi2-core 2.45.1:
* Atk and at-spi2-atk are now merged into this project.
* Now requires meson 0.56.2 and glib 2.67.4.
* at-spi2-atk: Expose the accessible hierarchy via dbus introspection.
* Properly escape the AT-SPI bus address; fixes warnings about the address
  not containing a colon (!55).
* Add a text value to AtspiValue, so that a value can expose a textual
  description, as in the new Atk value API.
* Add atspi_event_listener_register_with_app, to allow an event listener
  to be registered only for a given application (!52).

- accessibility/atk and accessibility/at-spi2-atk have been merged into
  accessibility/at-spi2-core

- accessibility/at-spi2-core: bump consumers of removed ports atk and at-spi2-atk

PR:		269704
Exp-run by:	antoine
---
fa81a4f5f8
Muhammad Moinur Rahman (bofh) · 8.6_13,3
Mk/**tex.mk: Convert bsd.tex.mk to USES=tex

- Update all the consumers to use USES=tex
- USE_TEX=yes is the old way of writing USES=tex which has been removed
  and replaced in all ports
- Almost all of the USE_TEX features remains unchanged
- Some consumers had the same variables defined both in the mk
  infrastructure and also in the ports which have been removed from the
  ports as those are redundant.

In case any of the consumers are failing to build please make sure that
the nexessary USES=tex is there. Unlike previous USE_TEX=yes will no
longer load the required VARS for tex and related dependencies.

Reviewed by:	portmgr
Approved by:	portmgr (blanket)
721e5776c9
Yasuhiro Kimura (yasu) · 8.6_13,3
editors/emacs-devel: Update to 2022-11-28 snapshot

Bump PORTREVISION of consumers as EMACS_VER is changed to 30.0.50.

Changes:	https://github.com/emacs-mirror/emacs/compare/51589f81...7939184f
ea66012756
Yasuhiro Kimura (yasu) · 8.6_12,3
editors/emacs: Update to 28.2

* Remove FCITXPATCH option as extra-patch-src_xfns.c can't be applied
  since 28.1.
* Tidy up Makefile with portfmt.
* Bump PORTREVISION of consumers.

ChangeLog:	https://www.gnu.org/software/emacs/news/NEWS.28.2

PR:		266454
Exp-run by:	antoine
Reviewed by:	ashish, jrm
Differential Revision:	https://reviews.freebsd.org/D36613
164249e867
Stefan Eßer (se) · 8.6_11,3
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
fb16dfecae
Stefan Eßer (se) · 8.6_11,3
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.

This commit implements such a proposal and moves one of the WWW: entries
of each pkg-descr file into the respective port's Makefile. A heuristic
attempts to identify the most relevant URL in case there is more than
one WWW: entry in some pkg-descr file. URLs that are not moved into the
Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr
files in order to preserve them.

There are 1256 ports that had no WWW: entries in pkg-descr files. These
ports will not be touched in this commit.

The portlint port has been adjusted to expect a WWW entry in each port
Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as
deprecated.

Approved by:		portmgr (tcberner)
b7f05445c0
Alexey Dokuchaev (danfe) · 8.6_11,3
math/coq: add missing run-time dependency on `math/ocaml-num'

This was missed in commit 317aa0442c99 when Num library was split
off the core OCaml distribution.

PR:	263860
1da2c6c114
Piotr Kubaj (pkubaj) · 8.6_11,3
math/coq: enable on powerpc
0ecc152474
Alexey Dokuchaev (danfe) · 8.6_11,3
OCaml: transient update of the stack to version 4.07.1

This is the first step in modernizing our OCaml ports infrastructure,
as we had accumulated substantial technical debt over the years when
many of its consumer ports had not received proper care and updates.

It is currently considered as the lowest supported version (baseline)
in majority of open-source OCaml projects, which would help to pull
up other ports, e.g. `devel/ocaml-dune' in smaller, manageable pieces.

For conservative hackers among us and for compatibility with RHEL 8
which is also on it, having 4.07 in the tree would allow users stick
to that package (pkg lock it) if needed.

PR:		250408, 262781
Exp-run by:	antoine
317aa0442c
Charlie Li (vishwin) · 8.6_11,3
textproc/libxml2: bump all LIB_DEPENDS consumers

This is a separate commit to facilitate easier cherry-picking for
quarterly.

PR: 262853, 262940, 262877, 263126
Approved by: fluffy (mentor)
d63665f7cd
Alexey Dokuchaev (danfe) · 8.6_10,3
math/coq: force unsafe strings to unbreak against modern OCaml.
4c90e1b3af
Joseph Mingrone (jrm) · 8.6_10,3
Emacs ports: Bump PORTREVISION after Emacs 28.1

Reviewed by:	ashish
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D34781
d9dcd9c687
Matthias Fechner (mfechner) · 8.6_9,3
textproc/libxml2: bump all dependencies

This should make sure that all dependent ports will pick
up the new version commited with a13ec21cd733f67a9fc0dc00ab45268bdc236246
247c7db751
Stefan Eßer (se) · 8.6_8,3
Fix CONFLICTS entries of multiple ports

There have been lots of missing CONFLICTS_INSTALL entries, either
because conflicting ports were added without updating existing ports,
due to name changes of generated packages, due to mis-understanding
the format and semantics of the conflicts entries, or just due to
typoes in package names.

This patch is the result of a comparison of all files contained in
the official packages with each other. This comparison was based on
packages built with default options and may therefore have missed
further conflicts with optionally installed files.

Where possible, version numbers in conflicts entries have been
generalized, some times taking advantage of the fact that a port
cannot conflict with itself (due to logic in bsd.port.mk that
supresses the pattern match result in that case).

A few ports that set the conflicts variables depending on complex
conditions (e.g. port options), have been left unmodified, despite
probably containing outdated package names.

These changes should only affect the installation of locally built
ports, not the package building with poudriere. They should give an
early indication of the install conflict in cases where currently
the pkg command aborts an installation when it detects that an
existing file would be overwritten,

Approved by:	portmgr (implicit)
bcaf25a8c8
Joseph Mingrone (jrm) · 8.6_8,3
USES=emacs: Chase package name changes

PR:		259259
Differential Revision:	https://reviews.freebsd.org/D32613
061afcca16
Joseph Mingrone (jrm) · 8.6_7,3
*: Chase new major version (29) of editors/emacs-devel

Differential Revision:	https://reviews.freebsd.org/D32258
126e3bb1f1
Mathieu Arnold (mat) · 8.6_6,3
One more small cleanup, forgotten yesterday. Reported by:	lwhsu
cf118ccf87
Mathieu Arnold (mat) · 8.6_6,3
Remove # $FreeBSD$ from Makefiles.
305f148f48
Joseph Mingrone (jrm) · 8.6_6,3
editors/emacs: Update to 27.2

This is a bug-fix release with no new features.

https://www.gnu.org/software/emacs/news/NEWS.27.2

Reviewed by:	ashish
Differential Revision:	https://reviews.freebsd.org/D27700
4c42925142
Joseph Mingrone (jrm) · 8.6_5,3
editors/emacs: Update to version 27.1

Please refer to the 20200811 UPDATING entry when upgrading
dependent (*-emacs26-*) ports.

Port changes:

- depend on math/gmp
- match upstream by turning CAIRO, HARFBUZZ, and JSON options and on and
  turning MAGICK off by default
- remove OPENMP check for graphics/ImageMagick as the openmp is now
  included in base
- update EMACS_VER in Mk/Uses/emacs.mk
- bump USES=emacs ports or remove BROKEN for net-im/jabber.el and
  deskutils/howm, which now build

Submitted by:	HIROSE Yuuji <yuuji@gentei.org> (canna patch)
Reviewed by:	ashish
Differential Revision:	https://reviews.freebsd.org/D23966
bea2b0b802
Joseph Mingrone (jrm) · 8.6_4,3
editors/emacs-devel: Update to latest master branch commit, 4f2b415

This update includes an Emacs major version change from 27.0.50 to 28.0.50.
Ports that may depend on editors/emacs-devel must chase this update
with a PORTREVISION bump.

Submitted by:	ashish (maintainer)
Differential Revision:	https://reviews.freebsd.org/D23012
ced1e88d5e
Tobias Kortkamp (tobik) · 8.6_3,3
math: Add missing USES={gl,gnome,php,sdl,xorg}
9284bc5ac0
Joseph Mingrone (jrm) · 8.6_3,3
USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgrade

Or, mark ports that fail to build as BROKEN.
https://lists.freebsd.org/pipermail/freebsd-ports/2018-May/113518.html
107b408c31
Joseph Mingrone (jrm) · 8.6_2,3
Flavorize and modernize Emacs ports

- Convert USE_EMACS to USES=emacs
- Remove editors/emacs-nox11 (refer to nox flavors of editors/emacs and
  editors/emacs-devel)
- Permit default Emacs flavor to be specified in make.conf
- Rename japanese/migemo-emacs23 to japanese/migemo-emacs
- Update and simplify audio/emms and fix build on FreeBSD 10 [1]
- Update databases/bbdd and fix build on FreeBSD 10 [1]
- Update editors/emacs-devel
- Ensure Makefile shell commands that change directory are executed in a
  subshell
- Silence some portlint warnings

[1] By not depending on base texinfo

PR:		225404
Reviewed by:	antoine
Approved by:	portmgr (mat) ashish (maintainer)
Differential Revision:	https://reviews.freebsd.org/D13506
a3cc513bfc
Mark Linimon (linimon) · 8.6_1,3
For ports that are marked BROKEN on armv6, and also fail to build on armv7, mark them so.

This is part two of a multipart commit to bring armv7 ports to parity
with armv6.

Approved by:	portmgr (tier-2 blanket)
Obtained from:	lonesome.com -exp run
bf43557044
Ashish SHUKLA (ashish) · 8.6_1,3
Chase Emacs update
53aec0cd56
Mark Linimon (linimon) · 8.6,3
Mark some ports failing on armv6, for errors classified as "???", part 2.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
c52a715800
Hiroki Sato (hrs) · 8.6,3
Update to 8.6.  Fix PORTEPOCH accidentally removed in the previous commit.
bb3308956b
Hiroki Sato (hrs) · 8.5
Update to 8.5.
2f6eb8612d
Hiroki Sato (hrs) · 8.4.6,3
- Add missing dependencies. - Strip installed binaries.
72015275a6
Johan van Selst (johans) · 8.4.6,2
Stepping down as maintainer for some ports.
2127a44c33
Alexey Dokuchaev (danfe) · 8.4.6,2
- Move license information from port description into LICENSE knobs - Convert $arch-conditional BROKEN statement into BROKEN_$arch one
fa0784d109
Dmitry Marakasov (amdmi3) · 8.4.6,2
Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by default anyway and don't need to be listed

Approved by:	portmgr blanket
c86e9d9724