qml-module-lomiri-settings-vpn

Lomiri VPN-related settings components

Lomiri settings components for Lomiri Desktop Environment

libcoq-mathcomp-solvable

Mathematical Components library for Coq (finite groups II)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.

libgm2-18-hppa-cross

GNU Modula-2 standard library (runtime library)

This is the GNU Modula-2 standard library that comes with the gm2 compiler.

libkpim6akonadicontactcore6

Akonadi contacts access library - core library

This library provides contacts manipulation helpers using the Akonadi PIM data server.

mythes-pt-br

Brazilian Portuguese Thesaurus for LibreOffice

Libreoffice is a full-featured office productivity suite that provides a near drop-in replacement for Microsoft(R) Office.

hyphen-be

Belarusian hyphenation patterns

This package contains the Belarusian hyphenation patterns.