python3-robber
BDD / TDD assertion library for Python (Python 3)
Python Library that provides assertion functions for Test-driven
Development and Behavior-Driven Development.
zarchive-tools
tool for creating and reading zstd-compressed files
ZArchive is yet another file archive format. Think of zip, tar, 7z,
etc. but with the requirement of allowing random-access reads and
supporting Zstandard compression.
libcoq-reduction-effects
reduction effects for Coq
This plugin adds reduction side effects to some
of the Coq reduction strategies.
libstdc++-12-dev-mips64r6-cross
GNU Standard C++ Library v3 (development files) (mips64r6)
This package contains the headers and static library files necessary for
building C++ programs which use libstdc++.
python3-django-polymodels
Polymorphic models implementation for django
A django application that provides a simple way to retrieve models type
casted to their original ContentType.
postgresql-15-unit
SI Units for PostgreSQL
postgresql-unit implements a PostgreSQL datatype for SI units, plus byte. The
base units can be combined to named and unnamed derived units using operators
defined in the PostgreSQL type system. SI prefixes are used for input and
output, and quantities can be converted to arbitrary scale.