python3-schwifty

library to work with IBANs and BIC (Python 3)

schwifty is a Python library that lets you easily work with IBANs and BICs as specified by the ISO. IBAN is the International Bank Account Number and BIC the Business Identifier Code. Both are used for international money transfer.

libmrpt-nanogui2.5

Mobile Robot Programming Toolkit - nanogui library

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

gcc-12-plugin-dev-sparc64-linux-gnu

Files for GNU GCC plugin development.

This package contains (header) files for GNU GCC plugin development. It is only used for the development of GCC plugins, but not needed to run plugins.

libuno-cppu3t64

LibreOffice UNO runtime environment -- CPPU public library

The Uno Runtime Environment (URE) is the well-known UNO component model of LibreOffice, packaged up as an individual product.

libcoq-elpi-ocaml

Coq plugin embedding Elpi (runtime)

This package makes it possible to define new commands and tactics for Coq in Elpi.

debian-package-scripts

Scripts for building Debian packages

In this package you find the scripts which can help you to build Debian packages.