python3-panflute

pythonic pandoc filters

A Python implementation of pandoc filters making filters as simple and clear as possible. It comes with some batteries included for converting between markdown and Python objects, calling external programs and running panflute as a filter.

distribution-gpg-keys

Archive keyrings for RPM-based Linux distributions

collection of GPG keys to check signatures of rpm packages from following distributions:

fyi

utility to send desktop notifications via a notification daemon

FYI (for your information) is a command line utility to send desktop notifications to the user via a notification daemon implementing XDG desktop notifications.

python3-pydiscovergy

Asynchronous client for Discovergy smart meters

This library enables communication with Discovergy smart meters through their official API. It allows users to retrieve various data points from their smart meters, including electricity consumption and production details. The library supports functions for obtaining the list of meters associated with an account and fetching the latest readings from each meter.

drat-trim-examples

DART-trim satisfiability proof checker (example files)

DRAT-trim is a satisfiability proof checking and trimming utility designed to validate proofs for all known satisfiability solving and preprocessing techniques. DRAT-trim can also emit trimmed formulas, optimized proofs, and TraceCheck+ dependency graphs.

binutils-gold-i686-linux-gnu

gold ELF linker for the i686-linux-gnu target (deprecated)

Gold is intended to have complete support for ELF and to run as fast as possible on modern systems. For normal use it is a drop-in replacement for the older GNU linker.