libgo23-arm64-cross
Runtime library for GNU Go applications
Library needed for GNU Go applications linked against the
shared library.
libgo23-ppc64el-cross
Runtime library for GNU Go applications
Library needed for GNU Go applications linked against the
shared library.
dpkg-source-gitarchive
dpkg source format for git repositories
Defines an additional dpkg source format for use with plain git
repositories.
gle-graphics-library
Library of routines and example scripts written in GLE
These scripts used to come bundled with the GLE distribution. However,
they may get updated prior to the next release. This repo makes them
available separately for users to modify and/or update outside of the GLE
release schedule.
drat-trim
DART-trim satisfiability proof checker (binary utils)
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.
fcitx5-skk
Japanese SKK input engine for Fcitx5
This package provides Japanese SKK input method engine for Fcitx5,
which uses libskk as its backend.