rpms

Collection of source recipes, patches and additional files used to build openmamba RPM packages

A library that provides a Qt interface for the SANE library for scanner hardware
Updated 2024-12-18 10:47:00 +01:00
A theorem prover from Microsoft Research
Updated 2024-12-18 10:26:06 +01:00
A document viewer that supports different kinds of documents
Updated 2024-12-18 10:25:03 +01:00
KDevelop Python language support
Updated 2024-12-18 10:23:42 +01:00
Docker CLI plugin for extended build capabilities with BuildKit
Updated 2024-12-18 10:23:25 +01:00
Extra cmake modules used by kde framework
Updated 2024-12-17 23:55:14 +01:00
A powerful yet simple application to manage your day to day actions
Updated 2024-12-17 23:16:47 +01:00
Yakuake is a Quake-style terminal emulator based on KDE Konsole technology
Updated 2024-12-17 23:16:30 +01:00
UML modelling tool and code generator
Updated 2024-12-17 23:16:12 +01:00
A modern Mastodon client
Updated 2024-12-17 23:15:47 +01:00
A convergent TV guide based on Kirigami
Updated 2024-12-17 23:15:32 +01:00
A system cleaner tool
Updated 2024-12-17 23:15:15 +01:00
KDE's KPart to display SVG images
Updated 2024-12-17 23:14:58 +01:00
Interactive Physical Simulator
Updated 2024-12-17 23:14:38 +01:00
Screenshot Capture Utility
Updated 2024-12-17 23:14:15 +01:00