Recent Package Updates
2021-09-27: antlr4-python3-runtime-py38-4.9.2-1 (ANTLR4 runtime for Python 3)
ANTLR (ANother Tool for Language Recognition) is a powerful parser
generator for reading, processing, executing, or translating structured
text or binary files. It's widely used to build languages, tools, and
frameworks. From a grammar, ANTLR generates a parser that can build and
walk parse trees.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
antlr4-python3-runtime-py: 4.9.22021-09-27: py-py34-1.10.0-1 (Python development support library)
The py lib is a Python development support library featuring the
following tools and modules:
py.path: uniform local and svn path objects
py.apipkg: explicit API control and lazy-importing
py.iniconfig: easy parsing of .ini files
py.code: dynamic code generation and introspection
py.path: uniform local and svn path objects
NOTE: prior to the 1.4 release this distribution used to contain
py.test which is now its own package, pytest-py%type_pkg[python].
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
py-py: 1.10.02021-09-27: pybtex-py38-0.24.0-2 (BibTeX-compatible processor in Python)
Pybtex is a BibTeX-compatible bibliography processor written in Python.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg pybtex-py: 0.24.02021-09-27: pybtex-docutils-py37-1.0.1-1 (Docutils backend for pybtex)
A docutils backend for pybtex.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg: pybtex-docutils-py: 1.0.12021-09-27: oset-py35-0.1.3-1 (Ordered set implementation)
Set that remembers original insertion order.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
oset-py: 0.1.32021-09-27: antlr4-python3-runtime-py34-4.9.2-1 (ANTLR4 runtime for Python 3)
ANTLR (ANother Tool for Language Recognition) is a powerful parser
generator for reading, processing, executing, or translating structured
text or binary files. It's widely used to build languages, tools, and
frameworks. From a grammar, ANTLR generates a parser that can build and
walk parse trees.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
antlr4-python3-runtime-py: 4.9.22021-09-27: ocaml-curses-1.0.6-1 (Ocaml bindings to curses)
OCaml Curses is a project to provide curses / ncurses bindings for the
Objective Caml language.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new ocaml library: curses 1.0.62021-09-27: py-py35-1.10.0-1 (Python development support library)
The py lib is a Python development support library featuring the
following tools and modules:
py.path: uniform local and svn path objects
py.apipkg: explicit API control and lazy-importing
py.iniconfig: easy parsing of .ini files
py.code: dynamic code generation and introspection
py.path: uniform local and svn path objects
NOTE: prior to the 1.4 release this distribution used to contain
py.test which is now its own package, pytest-py%type_pkg[python].
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
py-py: 1.10.02021-09-27: ocaml-result-1.5-1 (Ocaml compatibility Result module)
Ocaml compatibility Result module
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
mass migration of ocamlmods to new directory2021-09-27: ocaml-findlib-1.9.1-2 (Ocaml library management system)
Ocaml library management system
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
mass migration of ocamlmods to new directory2021-09-27: latexcodec-py35-2.0.1-1 (Work with LaTeX code in python)
A lexer and codec to work with LaTeX code in Python.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg latexcodec-py: 2.0.12021-09-27: sphinx-testing-py37-1.0.1-1 (Sphinx extension testing utility)
sphinx-testing provides testing utility classes and functions for Sphinx
extensions.
This package has been deprecated. Please use sphinx.testing package
instead. It is bundled with Sphinx.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
sphinx-testing-py: 1.0.12021-09-27: ocaml-dune-configurator-2.9.1-1 (Composable build system for ocaml)
Composable build system for ocaml
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
mass migration of ocamlmods to new directory2021-09-27: py-py37-1.10.0-1 (Python development support library)
The py lib is a Python development support library featuring the
following tools and modules:
py.path: uniform local and svn path objects
py.apipkg: explicit API control and lazy-importing
py.iniconfig: easy parsing of .ini files
py.code: dynamic code generation and introspection
py.path: uniform local and svn path objects
NOTE: prior to the 1.4 release this distribution used to contain
py.test which is now its own package, pytest-py%type_pkg[python].
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
py-py: 1.10.02021-09-27: ocaml-gsl-1.24.3-1 (GNU Scientific Library for OCaml)
This is an interface to GSL (GNU scientific library), for the
Objective Caml langage.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
mass migration of ocamlmods to new directory2021-09-27: orpie-1.6.1-1 (RPN calculator for the terminal)
Orpie is a fullscreen RPN calculator for the console. Its operation is
similar to that of modern HP calculators, but data entry has been
optimized for efficiency on a PC keyboard. Features include extensive
scientific calculator functionality, command completion, and a visible
interactive stack.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
orpie 1.6.12021-09-27: sphinxcontrib-bibtex-py38-0.4.2-1 (Sphinx extension for BibTeX style citations)
Sphinx extension for BibTeX style citations
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg: sphinxcontrib-bibtex-py: 0.4.22021-09-27: ocaml-ounit2-2.2.4-1 (Ocaml xUnit testing framework)
OUnit is a unit test framework for OCaml. It allows one to easily create
unit-tests for OCaml code. It is loosely based on HUnit, a unit testing
framework for Haskell. It is similar to JUnit, and other XUnit testing
frameworks.
Features:
* colored output
* JUnit report generation
* HTML report generation
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new ocaml mods:
stdlib-shims 0.3.0
ounit2 2.2.42021-09-27: ocaml-stdlib-shims-0.3.0-1 (Backport of newer Ocaml features)
Compiling against this library allows to replace your uses of Pervasives
with Stdlib before 4.08. For example you can use Stdlib.compare instead
of Pervasives.compare. It does not however provide the new functions and
modules that are being added in Stdlib module.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new ocaml mods:
stdlib-shims 0.3.0
ounit2 2.2.42021-09-27: pybtex-py35-0.24.0-2 (BibTeX-compatible processor in Python)
Pybtex is a BibTeX-compatible bibliography processor written in Python.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg pybtex-py: 0.24.02021-09-27: oset-py38-0.1.3-1 (Ordered set implementation)
Set that remembers original insertion order.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
oset-py: 0.1.32021-09-27: sphinx-testing-py36-1.0.1-1 (Sphinx extension testing utility)
sphinx-testing provides testing utility classes and functions for Sphinx
extensions.
This package has been deprecated. Please use sphinx.testing package
instead. It is bundled with Sphinx.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
sphinx-testing-py: 1.0.12021-09-27: ocaml-csexp-1.5.1-1 (Parse/print S-expressions in Canonical form)
Parse/print S-expressions in Canonical form
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
mass migration of ocamlmods to new directory2021-09-27: oset-py36-0.1.3-1 (Ordered set implementation)
Set that remembers original insertion order.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
oset-py: 0.1.32021-09-27: ocaml-num-1.4-1 (Ocaml ibrary for big integers and rationals)
This library implements arbitrary-precision arithmetic on big integers
and on rationals.
This is a legacy library. It used to be part of the core OCaml
distribution (in otherlibs/num) but is now distributed separately. New
applications that need arbitrary-precision arithmetic should use the
Zarith library (https://github.com/ocaml/Zarith) instead of the Num
library, and older applications that already use Num are encouraged to
switch to Zarith. Zarith delivers much better performance than Num and
has a nicer API.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
ocaml-num v1.42021-09-27: sphinxcontrib-bibtex-py36-0.4.2-1 (Sphinx extension for BibTeX style citations)
Sphinx extension for BibTeX style citations
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg: sphinxcontrib-bibtex-py: 0.4.22021-09-27: py-py36-1.10.0-1 (Python development support library)
The py lib is a Python development support library featuring the
following tools and modules:
py.path: uniform local and svn path objects
py.apipkg: explicit API control and lazy-importing
py.iniconfig: easy parsing of .ini files
py.code: dynamic code generation and introspection
py.path: uniform local and svn path objects
NOTE: prior to the 1.4 release this distribution used to contain
py.test which is now its own package, pytest-py%type_pkg[python].
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
py-py: 1.10.02021-09-27: coq-doc-8.11.2-1 (Additional PDF and HTML documentation for Coq)
Developed in the LogiCal project (http://logical.inria.fr),
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 for automatically generating 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 additional HTML and PDF documentation for
Coq. The documentation consists of
* The Tutorial
* The Reference manual
* FAQ about Coq
* A Tutorial on Recursive Types in Coq
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
coq: 8.11.22021-09-27: antlr4-python3-runtime-py37-4.9.2-1 (ANTLR4 runtime for Python 3)
ANTLR (ANother Tool for Language Recognition) is a powerful parser
generator for reading, processing, executing, or translating structured
text or binary files. It's widely used to build languages, tools, and
frameworks. From a grammar, ANTLR generates a parser that can build and
walk parse trees.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
antlr4-python3-runtime-py: 4.9.22021-09-27: pybtex-docutils-py38-1.0.1-1 (Docutils backend for pybtex)
A docutils backend for pybtex.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg: pybtex-docutils-py: 1.0.12021-09-27: latexcodec-py38-2.0.1-1 (Work with LaTeX code in python)
A lexer and codec to work with LaTeX code in Python.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg latexcodec-py: 2.0.12021-09-27: sphinx-testing-py38-1.0.1-1 (Sphinx extension testing utility)
sphinx-testing provides testing utility classes and functions for Sphinx
extensions.
This package has been deprecated. Please use sphinx.testing package
instead. It is bundled with Sphinx.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
sphinx-testing-py: 1.0.12021-09-27: sphinx-testing-py35-1.0.1-1 (Sphinx extension testing utility)
sphinx-testing provides testing utility classes and functions for Sphinx
extensions.
This package has been deprecated. Please use sphinx.testing package
instead. It is bundled with Sphinx.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
sphinx-testing-py: 1.0.12021-09-27: py-py27-1.10.0-1 (Python development support library)
The py lib is a Python development support library featuring the
following tools and modules:
py.path: uniform local and svn path objects
py.apipkg: explicit API control and lazy-importing
py.iniconfig: easy parsing of .ini files
py.code: dynamic code generation and introspection
py.path: uniform local and svn path objects
NOTE: prior to the 1.4 release this distribution used to contain
py.test which is now its own package, pytest-py%type_pkg[python].
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
py-py: 1.10.02021-09-27: ocaml-cppo-1.6.8-1 (Code preprocessor for OCaml)
Cppo is an equivalent of the C preprocessor for OCaml programs. It
allows the definition of simple macros and file inclusion.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
mass migration of ocamlmods to new directory2021-09-27: neon27-0.32.1-1 (HTTP/WebDAV client library with a C API)
Current features:
- High-level interface to HTTP and WebDAV methods (PUT, GET, HEAD etc)
- Low-level interface to HTTP request handling, to allow implementing
new methods easily.
- persistent connections
- RFC2617 basic and digest authentication (including auth-int, md5-sess)
- Proxy support (including basic/digest authentication)
- SSL/TLS support using OpenSSL (including client certificate support)
- Generic WebDAV 207 XML response handling mechanism
- XML parsing using the expat or libxml parsers
- Easy generation of error messages from 207 error responses
- WebDAV resource manipulation: MOVE, COPY, DELETE, MKCOL.
- WebDAV metadata support: set and remove properties, query any set of
properties (PROPPATCH/PROPFIND).
- autoconf macros supplied for easily embedding neon directly inside an
application source tree.
neon is licensed under the GNU LGPL; see COPYING.LIB for full details.
Please note that the neon API is not yet stable, and is subject to
major changes
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
neon27: 0.32.12021-09-27: ocaml-zarith-1.12-1 (Ocaml arithmetic library)
This library implements arithmetic and logical operations over
arbitrary-precision integers.
The module is simply named Z. Its interface is similar to that of the
Int32, Int64 and Nativeint modules from the OCaml standard library, with
some additional functions. See the file z.mlip for documentation.
The implementation uses GMP (the GNU Multiple Precision arithmetic
library) to compute over big integers. However, small integers are
represented as unboxed Caml integers, to save space and improve
performance. Big integers are allocated in the Caml heap, bypassing
GMP's memory management and achieving better GC behavior than e.g. the
MLGMP library. Computations on small integers use a special, faster path
(in C or OCaml) eschewing calls to GMP, while computations on large
intergers use the low-level MPN functions from GMP.
Arbitrary-precision integers can be compared correctly using OCaml's
polymorphic comparison operators (=, <, >, etc.).
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
mass migration of ocamlmods to new directory2021-09-27: latexcodec-py37-2.0.1-1 (Work with LaTeX code in python)
A lexer and codec to work with LaTeX code in Python.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg latexcodec-py: 2.0.12021-09-27: pybtex-py36-0.24.0-2 (BibTeX-compatible processor in Python)
Pybtex is a BibTeX-compatible bibliography processor written in Python.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg pybtex-py: 0.24.02021-09-27: sphinxcontrib-bibtex-py37-0.4.2-1 (Sphinx extension for BibTeX style citations)
Sphinx extension for BibTeX style citations
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg: sphinxcontrib-bibtex-py: 0.4.22021-09-27: py-py38-1.10.0-1 (Python development support library)
The py lib is a Python development support library featuring the
following tools and modules:
py.path: uniform local and svn path objects
py.apipkg: explicit API control and lazy-importing
py.iniconfig: easy parsing of .ini files
py.code: dynamic code generation and introspection
py.path: uniform local and svn path objects
NOTE: prior to the 1.4 release this distribution used to contain
py.test which is now its own package, pytest-py%type_pkg[python].
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
py-py: 1.10.02021-09-27: latexcodec-py36-2.0.1-1 (Work with LaTeX code in python)
A lexer and codec to work with LaTeX code in Python.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg latexcodec-py: 2.0.12021-09-27: pybtex-docutils-py36-1.0.1-1 (Docutils backend for pybtex)
A docutils backend for pybtex.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg: pybtex-docutils-py: 1.0.12021-09-27: pybtex-py37-0.24.0-2 (BibTeX-compatible processor in Python)
Pybtex is a BibTeX-compatible bibliography processor written in Python.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
new pkg pybtex-py: 0.24.02021-09-27: ocaml-bitstring-2.1.1-1 (Bitstrings and bitstring matching for OCaml)
Bitstrings and bitstring matching for OCaml
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
mass migration of ocamlmods to new directory2021-09-27: ocaml-extlib-1.7.8-1 (Standard library for OCaml)
"ExtLib is released under the same license as the OCaml Standard Library"
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
mass migration of ocamlmods to new directory2021-09-27: antlr4-python3-runtime-py36-4.9.2-1 (ANTLR4 runtime for Python 3)
ANTLR (ANother Tool for Language Recognition) is a powerful parser
generator for reading, processing, executing, or translating structured
text or binary files. It's widely used to build languages, tools, and
frameworks. From a grammar, ANTLR generates a parser that can build and
walk parse trees.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
antlr4-python3-runtime-py: 4.9.22021-09-27: ocaml-dune-2.9.1-1 (Composable build system for ocaml)
Composable build system for ocaml
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
mass migration of ocamlmods to new directory2021-09-27: coq-8.11.2-1 (Proof assistant for higher-order logic)
Developed in the LogiCal project (http://logical.inria.fr),
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):
coq: 8.11.22021-09-27: antlr4-python3-runtime-py35-4.9.2-1 (ANTLR4 runtime for Python 3)
ANTLR (ANother Tool for Language Recognition) is a powerful parser
generator for reading, processing, executing, or translating structured
text or binary files. It's widely used to build languages, tools, and
frameworks. From a grammar, ANTLR generates a parser that can build and
walk parse trees.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
antlr4-python3-runtime-py: 4.9.22021-09-27: ocaml-pcre-7.5.0-1 (Perl-style regular expressions for OCaml)
Perl-style regular expressions for OCaml
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
mass migration of ocamlmods to new directory2021-09-27: oset-py37-0.1.3-1 (Ordered set implementation)
Set that remembers original insertion order.
commit log from Hanspeter Niederstrasser (nieder@users.sourceforge.net):
oset-py: 0.1.32021-09-26: system-openssl-dev-0.9.8-9 (Placeholder to force use of the system SSL)
This package is meant to be used by packagers for the purpose of linking
explicitly against the Apple-provided system version of OpenSSL and
assuring that no fink-supplied OpenSSL library package is visible to
normal compiler calls.
commit log from Daniel Macks (dmacks@netspace.org):
system-openssl: update swappy for new lib release2021-09-26: vim-8.2.3455-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-8.2.3455.2021-09-26: vim-nox-8.2.3455-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-8.2.3455.2021-09-26: openssl100-dev-1.0.2u-2 (Secure Sockets Layer and Crypto Library)
OpenSSL is a free implementation of the Secure Sockets Layer (SSL)
and Transport Layer Security (TLS) protocols. It includes command line
utilities to manage certificates and a separate library implementing common
cryptograhic algorithms.
commit log from Daniel Johnson (daniel.johnson31@gmail.com):
New upstream openssl110 1.1.1l and new package openssl3002021-09-26: openssl300-dev-3.0.0-1 (Secure Sockets Layer and Crypto Library)
OpenSSL is a free implementation of the Secure Sockets Layer (SSL)
and Transport Layer Security (TLS) protocols. It includes command line
utilities to manage certificates and a separate library implementing common
cryptograhic algorithms.
commit log from Daniel Johnson (daniel.johnson31@gmail.com):
New upstream openssl110 1.1.1l and new package openssl3002021-09-26: openssl110-dev-1.1.1l-1 (Secure Sockets Layer and Crypto Library)
OpenSSL is a free implementation of the Secure Sockets Layer (SSL)
and Transport Layer Security (TLS) protocols. It includes command line
utilities to manage certificates and a separate library implementing common
cryptograhic algorithms.
commit log from Daniel Johnson (daniel.johnson31@gmail.com):
New upstream openssl110 1.1.1l and new package openssl3002021-09-25: nspr.0e-shlibs-4.32-1 (Netscape Portable Runtime)
Netscape Portable Runtime (NSPR) provides a platform-neutral
API for system level and libc like functions. The API is
used in the Mozilla client, many of Netscape/AOL/iPlanet's
and other software offerings.
commit log from Daniel Macks (dmacks@netspace.org):
nspr: new version (can't find live homepage)2021-09-25: spidermonkey-1.7.0-5 (Mozilla JavaScript-C Engine)
Mozilla JavaScript-C Engine
commit log from Daniel Macks (dmacks@netspace.org):
spidermonkey: clear some warnings2021-09-24: gd3-2.3.3-1 (Graphics generation library)
The GD library is useful for creating graphics like hit counters on
the fly. This version supports the PNG, JPEG and WBMP formats and lets
you use TrueType fonts rendered via freetype2.
commit log from Daniel Macks (dmacks@netspace.org):
gd3: re-add the raqm fix (nobody knows where it is/isn't needed)
