BSD Commit Log Search

   lean4: fix typo

   lean4: make leantar a full dependency

   ride import

   doc: Added math/lean4 version 4.32.1

   math/Makefile: + lean4

   math/lean4: import lean4-4.32.1

   Lean is a proof assistant and a functional programming language.
   It is based on the calculus of constructions with inductive types.

   doc: Added math/cadical3 version 3.0.1

   math/Makefile: + cadical3

   math/cadical3: import cadical-3.0.1

   The goal of the development of CaDiCaL was to obtain a CDCL solver,
   which is easy to understand and change, while at the same time not
   being much slower than other state-of-the-art CDCL solvers.

   cadical: mention that this is v2

   cadical: bl3.mk: do not accept cadical 3

   doc: Added math/leantar version 0.1.20

   devel/Makefile: + leantar

   math/leantar: import leantar-0.1.20

   Lean 4 .olean file (de)compressor.

   lowdown: bump ABI depends for shlib change

   doc: Updated textproc/lowdown to 3.1.1

   lowdown: update to 3.1.1.

   Remove libtoolization; too much work to keep it updated for no
   users of the library in pkgsrc, and probably won't be accepted by
   upstream.

   Version 3.1.1, 2026-07-19

   Fix for install failure via install_lib_common.

   Allow for CommonMark list-after-paragraph.

   Use newest oconfigure for use on old macOS machines.

   Version 3.1.0, 2026-07-18

   Flesh out how attributes are handled for links, images, and headers.
   Prior to this, only .class and #id were handled, along with some
   per-type values like width. This is now fully generalised, where

    [15 lines not shown]

   doc: Updated x11/kitty to 0.48.1

   kitty: update to 0.48.1

   - Wayland: fix a regression in the previous release that broke window
     sizing for on Hyprland/Sway with fractional scales and an initial
     specified size
   - Wayland: fix a regression in 0.47.3 that broke dragging on the Niri
     compositor
   - Wayland: get initial window size in cells working in most cases on
     Hyprland/Sway with fractional scaling by using the fractional scale
     of the primary monitor
   - Wayland: fix using remote control to resize OS windows on some
     tiling compositors leading to broken rendering
   - macOS: fix edge=none panel height shrinking when margin_top is
     non-zero in the panel/quick-access-terminal kittens

   doc: Updated chat/matrix-synapse to 1.157.1

   back out CHANGES entry on wrong branch

   Bump PKGREVISION affected by default Ruby's version change.

   lang/ruby: switch to Ruby 3.4

   Switch default Ruby's version to 3.4.

   Bump PKGREVISION affected by default PHP's version change.

   lang/php: switch to PHP 8.4

   Switch default PHP's version to 8.4.

   doc: Updated audio/kew to 4.2.7

   kew: update to 4.2.7

   Packaging updates:
   - added support for artists.db
     - click on the artist name and it'll open that artist's website in
       whatever browser xdg-open(1) opens.

   Upstream updates:

   Enhancements:
   - Added mini-controls. The idea here is that you will be able to do
     all the basic operations and will be able to sit a whole session
     of listening to music, without ever using a keyboard.
   - Added a new visualizer mode with a two color gradient.
   - The visualizer and footer are now under the cover in track view and
     don't move around depending on metadata position.
   - Removed mp4 support, since it's not fully supported. Fragmented
     mp4s that are used in streaming are not supported.


    [13 lines not shown]

   Updated databases/p5-DBIx-Class-EncodedColumn to 0.11

   Update to 0.11

   Upstream changes:
   0.11 2025-03-26
           - Use secure random source for salts

   Added security/p5-Crypt-URandom-Token version 0.005

   Add p5-Crypt-URandom-Token