libcoq-bignums-ocaml
Coq library for big numbers (runtime)
This package provides big numbers (natural numbers,
integers and rationals) in Coq, as BigN, BigZ and BigQ,
which used to be part of the standard library.
python-indigo
Organic Chemistry Toolkit (Python module)
Indigo is a C++ based organic chemistry and cheminformatics software
environment. Features Include:
libqgispython3.10.4
QGIS - shared Python library
fcitx5-table-translit-ua
Flexible Input Method Framework v5 - Ukrainian Translit table
Fcitx is a input method framework with extension support, which provides
an interface for entering characters of different scripts in applications
using a variety of mapping systems.
python3-pydevd
Debugger used by debugpy
This is the debugger underlying debugpy, which is used by IPython and
Spyder, among others.
libdiffutils-java
compute diffs and apply patches in Java
Diff Utils library is a Java library for performing comparison
operations between texts: computing diffs, applying patches,
generating unified diffs or parsing them, generating diff output
and so on.