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.