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.