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.