This is a staging site. Uploads will not persist. Testing only.

python3-pyvicare

Library for accessing Viessmann heating devices via the ViCare API

This library provides a means to access and interact with Viessmann heating devices through the official ViCare API. It enables users to control various functionalities of Viessmann devices, like gas boilers or heat pumps, when connected to a network, making it possible to manage heating and domestic hot water settings. By communicating with the Viessmann cloud service, the library retrieves device information, monitor configurations, and send commands for temperature adjustments and heating modes. This includes accessing device metrics such as supply temperature, room temperature, and operational status. Integration with another application, such as Home Assistant, is possible by utilizing the data and capabilities exposed by the library. Note that Viessmann's API rate limits apply to this library's operations.

libkpim6messagecore6

KDE PIM messaging library, core library

This package contains the message core library. It provides basic e-mail message handling facilities.

marknote

Simple markdown note management app

It supports a wide range of formating options useful for taking notes, like bold, italic, underlined and strike through fonts as well as headings, lists, check boxes, images and more.

libcoq-mathcomp-real-closed

Real closed fields for Mathematical Components

This library contains definitions and theorems about real closed fields for Mathematical Components. It includes a construction of the real and algebraic closure (with a proof of the fundamental theorem of algebra). The decidability of the first order theory of real closed field, through quantifier elimination is also established.

libcoq-mathcomp-multinomials

Multivariate polynomials for Mathematical Components

This package provides an extension to Mathematical Components for monomial algebra, multivariate polynomials over ring structures and an extended theory for polynomials whose coefficients live in abelian rings and integral domains.

dict-freedict-ell-por

Modern Greek-Portuguese dictionary for the dict server/client

This is the Modern Greek-Portuguese dictionary from the FreeDict project. It contains 12148 headwords (FreeDict status: big enough to be useful). It can be either used with the dictd server and a dict client or with GoldenDict.