Fink

Recent Package Updates

2024-05-26: vim-nox-9.1.445-1 (Improved version of the editor "vi")
VIM adds many of the features that you would expect in an editor:
Unlimited undo, syntax coloring, split windows, visual selection,
graphical user interface (read: menus, mouse control, scrollbars,
text selection), and much much more.

commit log from Hisashi T Fujinaka (htodd@twofifty.com):

    Vim: Welcome to Vim-9.1.445.
2024-05-26: vim-9.1.445-1 (Improved version of the editor "vi")
VIM adds many of the features that you would expect in an editor:
Unlimited undo, syntax coloring, split windows, visual selection,
graphical user interface (read: menus, mouse control, scrollbars,
text selection), and much much more.

commit log from Hisashi T Fujinaka (htodd@twofifty.com):

    Vim: Welcome to Vim-9.1.445.
2024-05-23: libxmp4-4.6.0-1 (Extended Module Player Library)
The Extended Module Player, or xmp, is a portable command-line module
        player for Unix and Unix-like systems. Xmp plays over 80 mainstream and
        obscure module formats from Amiga, Atari, Acorn, Apple IIgs and PC.

commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):

    libxmp4: v4.6.0
    xmp: v4.2.0
2024-05-23: xmp-4.2.0-1 (Extended Module Player)
The Extended Module Player, or xmp, is a portable command-line module
        player for Unix and Unix-like systems. Xmp plays over 80 mainstream and
        obscure module formats from Amiga, Atari, Acorn, Apple IIgs and PC.

commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):

    libxmp4: v4.6.0
    xmp: v4.2.0
2024-05-23: coq-8.19.1-2 (Proof assistant for higher-order logic)
Developed in the LogiCal project, the Coq tool is a formal proof
management system: a proof done with Coq is mechanically checked by the
machine.

In particular, Coq allows one:
* to define functions and predicates
* to state mathematical theorems and software specifications
* to develop interactively formal proofs of these theorems
* to check these proofs by a small certification "kernel".

Coq is based on a logical framework called "Calculus of Inductive
Constructions" extended by a modular development system for
theories.
    
Coq also includes
* a mecanism to automatically generate certified programs
* proofs of the specifications of these programs
* a documentation tool (coqdoc)
* dependecy and makefile generation tools for Coq
* a preprocessor for TeX files that include Coq commands (coq-tex)

This package provides the core coq tools, together with documentation for
the standard library; the files to build custom tactics in Ocaml are
available in `coq-dev'; the reference manual and some other documentation is
available in the `coq-doc' package; a graphical user environment is
contained in the `coqide' package.

commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):

    Add docs to coq package.
    Docs now need to be built alongside the main package (unless it's somehow possible to point the doc build to the location of the installed coq-stdlib).
2024-05-22: groff-1.23.0-1 (GNU document formatting system)
Groff (GNU Troff) is a document processor which reads plain text mixed
with formatting commands and produces formatted output. This version
includes gxditview and supports HTML.

Licensing details:
- groff is licensed under the GPL.
- gxditview is derived from xditview (MIT license -> BSD style), with
        modifications in the public domain.

commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):

    groff 1.23.0