MirBSD Korn Shell

mksh

MirBSD Korn Shell

mksh is the successor of the Public Domain Korn shell (pdksh), a Bourne/POSIX compatible shell which is largely similar to the original AT&T Korn Shell (ksh88/ksh93). It includes bug fixes and feature improvements, in order to produce a modern, robust shell good for interactive and especially script use. mksh has UTF-8 support (in string operations and the Emacs editing mode). The code has been cleaned up and simplified, bugs fixed, standards compliance added, and several enhancements (for extended compatibility to other modern shells, as well as a couple of its own) are available. This shell is Debian Policy 10.4 compliant and works as /bin/sh on Debian systems (use the /bin/lksh executable) and is a good rescue and initrd shell (consider the /bin/mksh-static executable).

python3-citeproc

Citation Style Language (CSL) processor for Python3

Citeproc-py is a library that produces formatted bibliographies and citations from bibliographic databases following formatting instructions provided by XML style files written in the Citation Style Language (CSL).

lib64go42-x32-cross

Runtime library for GNU Go applications (64bit)

Library needed for GNU Go applications linked against the shared library.

libghc-wide-word-prof

data types for large but fixed width signed and unsigned integers; profiling lib

A library to provide data types for large (ie > 64 bits) but fixed width signed and unsigned integers with the usual typeclass instances to allow them to be used interchangeably with `Word64`.

python3-mercurial-extension-utils

Contains functions for writing Mercurial extensions

Contains functions used by Mercurial extension mercurial-keyring. They are mostly tiny utilities related to configuration processing or location matching. They either extend Mercurial APIs a bit or support tasks which aren't strictly Mercurial related, but happen repeatedly during extension writing.

libgstreamer-plugins-base1.0-0

GStreamer libraries from the "base" set

GStreamer is a streaming media framework, based on graphs of filters which operate on media data. Applications using this library can do anything from real-time sound processing to playing videos, and just about anything else media-related. Its plugin-based architecture means that new data types or processing capabilities can be added simply by installing new plug-ins.