rime-data-bopomofo
Rime Input Method Engine schema data - Bopomofo (Zhuyin)
RIME is the acronym of Rime Input Method Engine.
libedata-book-1.2-27
Backend library for evolution address books
Evolution is the integrated mail, calendar, task and address book
distributed suite from Novell, Inc.
gccgo-11-multilib-mips64el-linux-gnuabi64
GNU Go compiler (multilib support) (cross compiler for mips64el architecture)
This is the GNU Go compiler, which compiles Go on platforms supported
by the gcc compiler.
gccgo-11-mipsisa64r6el-linux-gnuabi64
GNU Go compiler
This is the GNU Go compiler, which compiles Go on platforms supported
by the gcc compiler. It uses the gcc backend to generate optimized code.
mig-x86-64-linux-gnu
GNU Mach Interface Generator for amd64
This is the GNU distribution of the MIG, which is needed to compile
the GNU C library, the GNU Hurd and GNU Mach.
libghc-what4-prof
Solver-agnostic symbolic values support for issuing queries; profiling libraries
What4 is a generic library for representing values as symbolic formulae which
may contain references to symbolic values, representing unknown variables.
It provides support for communicating with a variety of SAT and SMT solvers,
including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal.
The data representation types make heavy use of GADT-style type indices
to ensure type-correct manipulation of symbolic values.